getAnisotropicDimensionQQp -- returns the anisotropic dimension of a rational symmetric bilinear form over the p-adic rational numbers
getAnisotropicPart -- produces the anisotropic part of a Grothendieck-Witt class
getBaseField -- returns the base field of a stable or unstable Grothendieck-Witt class
getDiagonalClass -- produces a diagonalized form for any (unstable) Grothendieck-Witt class, with simplified terms on the diagonal
getDiagonalEntries -- extracts a list of diagonal entries for a GrothendieckWittClass
getGlobalA1Degree -- computes the global $\mathbb{A}^{1}$-Brouwer degree of a list of $n$ polynomials in $n$ variables over a field $k$
getGlobalUnstableA1Degree -- computes the global unstable $\mathbb{A}^{1}$-Brouwer degree of a pointed rational function $f/g:\mathbb{P}^{1}_{k}\to\mathbb{P}^{1}_{k}$
getGWClass -- returns the Grothendieck-Witt class of the stable part of an unstable Grothendieck-Witt class
getHasseWittInvariant -- 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
getHilbertSymbolReal -- computes the Hilbert symbol of two rational numbers over the real numbers
getIntegralDiscriminant -- computes the integral discriminant for a rational symmetric bilinear form
getLocalA1Degree -- computes a local $\mathbb{A}^{1}$-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 or finite étale algebra
getLocalUnstableA1Degree -- computes a local unstable $\mathbb{A}^{1}$-Brouwer degree of a pointed rational function $f/g:\mathbb{P}^{1}_{k}\to\mathbb{P}^{1}_{k}$ at a root $p\in\mathbb{P}^{1}_{k}$
getMatrix -- returns the Gram matrix of a stable or unstable Grothendieck-Witt class
getMultiplicationMatrix -- Computes the matrix over a $k$-basis for multiplication by an element in a finite dimensional $k$-algebra
getNorm -- Computes the norm over $k$ for an element in a finite dimensional $k$-algebra
getRank -- 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
getScalar -- returns the non-zero scalar of an unstable Grothendieck-Witt class
getSignature -- 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 or unstable Grothendieck-Witt class
getSumDecompositionString -- produces a simplified string representation of a Grothendieck-Witt class or unstable Grothendieck-Witt class
getTrace -- Computes the trace over $k$ for an element in a finite dimensional $k$ -algebra
getWittIndex -- 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 field or finite étale algebras over a field
isAnisotropic -- determines whether a Grothendieck-Witt class is anisotropic
isIsomorphicForm -- determines whether two (unstable) Grothendieck-Witt classes over $\mathbb{C},\mathbb{R},\mathbb{Q}$ or a finite field of characteristic not 2 are isomorphic.
isIsotropic -- determines whether a Grothendieck-Witt class is isotropic
linearTolerance (missing documentation)
makeDiagonalForm -- the Grothendieck-Witt class of a diagonal form
makePfisterForm -- the Grothendieck-Witt class of a Pfister form
multiplyGW -- the tensor product of two Grothendieck-Witt classes
transferGW -- the transfer of Grothendieck-Witt from an étale algebras to a base field
UnstableGrothendieckWittClass -- a new type intended to capture an element of the unstable Grothendieck-Witt group of a field or finite étale algebras over a field