aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/solverad.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/solverad.spad.pamphlet')
-rw-r--r--src/algebra/solverad.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/solverad.spad.pamphlet b/src/algebra/solverad.spad.pamphlet
index 95b9375d..34927401 100644
--- a/src/algebra/solverad.spad.pamphlet
+++ b/src/algebra/solverad.spad.pamphlet
@@ -27,7 +27,7 @@
++ expressed in terms of radicals for systems of equations
++ of rational functions with coefficients in an integral domain R.
RadicalSolvePackage(R): Cat == Capsule where
- R : Join(EuclideanDomain, OrderedSet, CharacteristicZero)
+ R : Join(EuclideanDomain, CharacteristicZero)
PI ==> PositiveInteger
NNI==> NonNegativeInteger
Z ==> Integer