A1BrouwerDegrees : Index

• A1BrouwerDegrees -- package for working with A1-Brouwer degree computations
• addGW -- the direct sum of two Grothendieck-Witt classes
• addGW(GrothendieckWittClass,GrothendieckWittClass) -- the direct sum of two Grothendieck-Witt classes
• diagonalizeViaCongruence -- diagonalizes a symmetric matrix via congruence
• diagonalizeViaCongruence(Matrix) -- diagonalizes a symmetric matrix via congruence
• getAnisotropicDimension -- returns the anisotropic dimension of a symmetric bilinear form
• getAnisotropicDimension(GrothendieckWittClass) -- returns the anisotropic dimension of a symmetric bilinear form
• getAnisotropicDimension(Matrix) -- returns the anisotropic dimension of a symmetric bilinear form
• getAnisotropicDimensionQQp -- returns the anisotropic dimension of a rational symmetric bilinear form over the p-adic rational numbers
• getAnisotropicDimensionQQp(GrothendieckWittClass,ZZ) -- returns the anisotropic dimension of a rational symmetric bilinear form over the p-adic rational numbers
• getAnisotropicPart -- returns the anisotropic part of a Grothendieck-Witt class
• getAnisotropicPart(GrothendieckWittClass) -- returns the anisotropic part of a Grothendieck-Witt class
• getAnisotropicPart(Matrix) -- returns the anisotropic part of a Grothendieck-Witt class
• getBaseField -- the base field of a Grothendieck-Witt class
• getBaseField(GrothendieckWittClass) -- the base field of a Grothendieck-Witt class
• getDiagonalClass -- produces a diagonalized form for any Grothendieck-Witt class, with simplified terms on the diagonal
• getDiagonalClass(GrothendieckWittClass) -- produces a diagonalized form for any Grothendieck-Witt class, with simplified terms on the diagonal
• getDiagonalEntries -- extracts a list of diagonal entries for a GrothendieckWittClass
• getDiagonalEntries(GrothendieckWittClass) -- extracts a list of diagonal entries for a GrothendieckWittClass
• getGlobalA1Degree -- computes the global A1-Brouwer degree of a list of n polynomials in n variables over a field k
• getGlobalA1Degree(List) -- computes the global A1-Brouwer degree of a list of n polynomials in n variables over a field k
• getHasseWittInvariant -- computes the Hasse-Witt invariant at a prime p for the quadratic form of the Grothendieck-Witt class
• getHasseWittInvariant(GrothendieckWittClass,ZZ) -- computes the Hasse-Witt invariant at a prime p for the quadratic form of the Grothendieck-Witt class
• getHasseWittInvariant(List,ZZ) -- computes the Hasse-Witt invariant at a prime p for the quadratic form of the Grothendieck-Witt class
• getHilbertSymbol -- computes the Hilbert symbol of two rational numbers at a prime
• getHilbertSymbol(QQ,QQ,ZZ) -- computes the Hilbert symbol of two rational numbers at a prime
• getHilbertSymbol(QQ,ZZ,ZZ) -- computes the Hilbert symbol of two rational numbers at a prime
• getHilbertSymbol(ZZ,QQ,ZZ) -- computes the Hilbert symbol of two rational numbers at a prime
• getHilbertSymbol(ZZ,ZZ,ZZ) -- computes the Hilbert symbol of two rational numbers at a prime
• getHilbertSymbolReal -- computes the Hilbert symbol of two rational numbers over the real numbers
• getHilbertSymbolReal(QQ,QQ) -- computes the Hilbert symbol of two rational numbers over the real numbers
• getHilbertSymbolReal(QQ,ZZ) -- computes the Hilbert symbol of two rational numbers over the real numbers
• getHilbertSymbolReal(ZZ,QQ) -- computes the Hilbert symbol of two rational numbers over the real numbers
• getHilbertSymbolReal(ZZ,ZZ) -- computes the Hilbert symbol of two rational numbers over the real numbers
• getIntegralDiscriminant -- computes the integral discriminant for a rational symmetric bilinear form
• getIntegralDiscriminant(GrothendieckWittClass) -- computes the integral discriminant for a rational symmetric bilinear form
• getLocalA1Degree -- computes a local A1-Brouwer degree of a list of n polynomials in n variables over a field k at a prime ideal in the zero locus
• getLocalA1Degree(List,Ideal) -- computes a local A1-Brouwer degree of a list of n polynomials in n variables over a field k at a prime ideal in the zero locus
• getLocalAlgebraBasis -- produces a basis for a local finitely generated algebra over a field k
• getLocalAlgebraBasis(List,Ideal) -- produces a basis for a local finitely generated algebra over a field k
• getMatrix -- the underlying matrix of a Grothendieck-Witt class
• getMatrix(GrothendieckWittClass) -- the underlying matrix of a Grothendieck-Witt class
• getPadicValuation -- p-adic valuation of a rational number
• getPadicValuation(QQ,ZZ) -- p-adic valuation of a rational number
• getPadicValuation(ZZ,ZZ) -- p-adic valuation of a rational number
• getRank -- calculates the rank of a symmetric bilinear form
• getRank(GrothendieckWittClass) -- calculates the rank of a symmetric bilinear form
• getRank(Matrix) -- calculates the rank of a symmetric bilinear form
• getRelevantPrimes -- outputs a list containing all primes p where the Hasse-Witt invariant of a symmetric bilinear form is nontrivial
• getRelevantPrimes(GrothendieckWittClass) -- outputs a list containing all primes p where the Hasse-Witt invariant of a symmetric bilinear form is nontrivial
• getSignature -- computes the signature of a symmetric bilinear form over the real numbers or rational numbers
• getSignature(GrothendieckWittClass) -- computes the signature of a symmetric bilinear form over the real numbers or rational numbers
• getSumDecomposition -- produces a simplified diagonal representative of a Grothendieck-Witt class
• getSumDecomposition(GrothendieckWittClass) -- produces a simplified diagonal representative of a Grothendieck-Witt class
• getSumDecompositionString -- produces a simplified diagonal representative of a Grothendieck-Witt class
• getSumDecompositionString(GrothendieckWittClass) -- produces a simplified diagonal representative of a Grothendieck-Witt class
• getWittIndex -- returns the Witt index of a symmetric bilinear form
• getWittIndex(GrothendieckWittClass) -- returns the Witt index of a symmetric bilinear form
• GrothendieckWittClass -- a new type, intended to capture the isomorphism class of an element of the Grothendieck-Witt ring of a base field
• isAnisotropic -- determines whether a Grothendieck-Witt class is anisotropic
• isAnisotropic(GrothendieckWittClass) -- determines whether a Grothendieck-Witt class is anisotropic
• isAnisotropic(Matrix) -- determines whether a Grothendieck-Witt class is anisotropic
• isIsomorphicForm -- determines whether two Grothendieck-Witt classes over CC, RR, QQ, or a finite field of characteristic not 2 are isomorphic.
• isIsomorphicForm(GrothendieckWittClass,GrothendieckWittClass) -- determines whether two Grothendieck-Witt classes over CC, RR, QQ, or a finite field of characteristic not 2 are isomorphic.
• isIsomorphicForm(Matrix,Matrix) -- determines whether two Grothendieck-Witt classes over CC, RR, QQ, or a finite field of characteristic not 2 are isomorphic.
• isIsotropic -- determines whether a Grothendieck-Witt class is isotropic
• isIsotropic(GrothendieckWittClass) -- determines whether a Grothendieck-Witt class is isotropic
• isIsotropic(Matrix) -- determines whether a Grothendieck-Witt class is isotropic
• isWellDefinedGW(Matrix) -- the Grothendieck-Witt class of a symmetric matrix
• makeDiagonalForm -- the Grothendieck-Witt class of a diagonal form
• makeDiagonalForm(InexactFieldFamily,QQ) -- the Grothendieck-Witt class of a diagonal form
• makeDiagonalForm(InexactFieldFamily,RingElement) -- the Grothendieck-Witt class of a diagonal form
• makeDiagonalForm(InexactFieldFamily,Sequence) -- the Grothendieck-Witt class of a diagonal form
• makeDiagonalForm(InexactFieldFamily,ZZ) -- the Grothendieck-Witt class of a diagonal form
• makeDiagonalForm(Ring,QQ) -- the Grothendieck-Witt class of a diagonal form
• makeDiagonalForm(Ring,RingElement) -- the Grothendieck-Witt class of a diagonal form
• makeDiagonalForm(Ring,Sequence) -- the Grothendieck-Witt class of a diagonal form
• makeDiagonalForm(Ring,ZZ) -- the Grothendieck-Witt class of a diagonal form
• makeGWClass -- the Grothendieck-Witt class of a symmetric matrix
• makeGWClass(Matrix) -- the Grothendieck-Witt class of a symmetric matrix
• makeHyperbolicForm -- the Grothendieck-Witt class of a hyperbolic form
• makeHyperbolicForm(InexactFieldFamily) -- the Grothendieck-Witt class of a hyperbolic form
• makeHyperbolicForm(InexactFieldFamily,ZZ) -- the Grothendieck-Witt class of a hyperbolic form
• makeHyperbolicForm(Ring) -- the Grothendieck-Witt class of a hyperbolic form
• makeHyperbolicForm(Ring,ZZ) -- the Grothendieck-Witt class of a hyperbolic form
• makePfisterForm -- the Grothendieck-Witt class of a Pfister form
• makePfisterForm(InexactFieldFamily,QQ) -- the Grothendieck-Witt class of a Pfister form
• makePfisterForm(InexactFieldFamily,RingElement) -- the Grothendieck-Witt class of a Pfister form
• makePfisterForm(InexactFieldFamily,Sequence) -- the Grothendieck-Witt class of a Pfister form
• makePfisterForm(InexactFieldFamily,ZZ) -- the Grothendieck-Witt class of a Pfister form
• makePfisterForm(Ring,QQ) -- the Grothendieck-Witt class of a Pfister form
• makePfisterForm(Ring,RingElement) -- the Grothendieck-Witt class of a Pfister form
• makePfisterForm(Ring,Sequence) -- the Grothendieck-Witt class of a Pfister form
• makePfisterForm(Ring,ZZ) -- the Grothendieck-Witt class of a Pfister form
• multiplyGW -- the tensor product of two Grothendieck-Witt classes
• multiplyGW(GrothendieckWittClass,GrothendieckWittClass) -- the tensor product of two Grothendieck-Witt classes
• net(GrothendieckWittClass) -- a new type, intended to capture the isomorphism class of an element of the Grothendieck-Witt ring of a base field
• texMath(GrothendieckWittClass) -- a new type, intended to capture the isomorphism class of an element of the Grothendieck-Witt ring of a base field