From 04498bd0d72d5a32f2ced9dc896307a190d54103 Mon Sep 17 00:00:00 2001
From: ederc <ederc@mathematik.uni-kl.de>
Date: Wed, 31 Jul 2024 21:42:32 +0200
Subject: [PATCH] adds note on GBs over QQ w.r.t. DRL to docu prelude

---
 docs/src/groebner-bases.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/src/groebner-bases.md b/docs/src/groebner-bases.md
index f453e4c..74a51f4 100644
--- 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.