diff options
Diffstat (limited to 'src/algebra/transsolve.spad.pamphlet')
| -rw-r--r-- | src/algebra/transsolve.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/transsolve.spad.pamphlet b/src/algebra/transsolve.spad.pamphlet index f4bb6f6b..9b96e460 100644 --- a/src/algebra/transsolve.spad.pamphlet +++ b/src/algebra/transsolve.spad.pamphlet @@ -36,7 +36,7 @@ TransSolvePackage(R) : Exports == Implementation where - R : Join(OrderedSet, EuclideanDomain, RetractableTo Integer, + R : Join(EuclideanDomain, RetractableTo Integer, LinearlyExplicitRingOver Integer, CharacteristicZero) I ==> Integer @@ -559,7 +559,7 @@ generates the error (reported as bug \# 102): ++ to FRAC SUP EXPR INT and then the solution is \spad{func3:=X**3+X**2-X} ++ of type FRAC SUP EXPR INT TransSolvePackageService(R) : Exports == Implementation where - R : Join(IntegralDomain, OrderedSet) + R : IntegralDomain RE ==> Expression R EQ ==> Equation |