Merge pull request #70 from ederc/doc-fixes

adds note on GBs over QQ w.r.t. DRL to docu prelude
algebraic-solving · Aug 1, 2024 · b96a497 · b96a497
2 parents 5581734 + 04498bd
commit b96a497
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/src/groebner-bases.md b/docs/src/groebner-bases.md
@@ -17,9 +17,9 @@ Pages = ["groebner-bases.md"]
 
 ## Introduction
 
-AlgebraicSolving allows to compute Gröbner bases for input generators over finite
-fields of characteristic smaller $2^{31}$ w.r.t. the degree reverse
-lexicographical monomial order.
+AlgebraicSolving allows to compute Gröbner bases for input generators over prime
+fields of characteristic smaller $2^{31}$ or over the rationals w.r.t. the degree
+reverse lexicographical monomial order.
 
 At the moment different variants of Faugère's F4 Algorithm are implemented as
 well as a signature based algorithm to compute Gröbner bases.