getGlobalA1Degree -- computes the global $\mathbb{A}^{1}$-Brouwer degree of a list of $n$ polynomials in $n$ variables over a field $k$
getGlobalA1Degree(List) -- 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}$
getGlobalUnstableA1Degree(RingElement) -- 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}$
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
getLocalA1Degree(List,Ideal) -- 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
getLocalAlgebraBasis(List,Ideal) -- 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}$
getLocalUnstableA1Degree(...,linearTolerance=>...) -- 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}$
getLocalUnstableA1Degree(RingElement,Number) -- 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}$
getLocalUnstableA1Degree(RingElement,RingElement) -- 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}$
getLocalUnstableA1Degree(RingElement,RingElement,Number) -- 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}$
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
isAnisotropic(Matrix) -- 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.
isIsomorphicForm(...,linearTolerance=>...) -- determines whether two (unstable) Grothendieck-Witt classes over $\mathbb{C},\mathbb{R},\mathbb{Q}$ or a finite field of characteristic not 2 are isomorphic.
isIsomorphicForm(Matrix,Matrix) -- determines whether two (unstable) Grothendieck-Witt classes over $\mathbb{C},\mathbb{R},\mathbb{Q}$ or a finite field of characteristic not 2 are isomorphic.
net(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
net(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
texMath(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
texMath(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
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