diff options
Diffstat (limited to 'src/algebra/efstruc.spad.pamphlet')
| -rw-r--r-- | src/algebra/efstruc.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/efstruc.spad.pamphlet b/src/algebra/efstruc.spad.pamphlet index 320842e5..381030eb 100644 --- a/src/algebra/efstruc.spad.pamphlet +++ b/src/algebra/efstruc.spad.pamphlet @@ -112,7 +112,7 @@ TangentExpansions(R:Field): Exports == Implementation where ++ which are not considered simplifications. ++ Keywords: elementary, function, structure. ElementaryFunctionStructurePackage(R,F): Exports == Implementation where - R : Join(IntegralDomain, OrderedSet, RetractableTo Integer, + R : Join(IntegralDomain, RetractableTo Integer, LinearlyExplicitRingOver Integer) F : Join(AlgebraicallyClosedField, TranscendentalFunctionCategory, FunctionSpace R) @@ -506,7 +506,7 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where ++ F and FG should be the same type of function space. ++ Keywords: trigonometric, function, manipulation. InnerTrigonometricManipulations(R,F,FG): Exports == Implementation where - R : Join(IntegralDomain, OrderedSet) + R : IntegralDomain F : Join(FunctionSpace R, RadicalCategory, TranscendentalFunctionCategory) FG : Join(FunctionSpace Complex R, RadicalCategory, @@ -672,7 +672,7 @@ InnerTrigonometricManipulations(R,F,FG): Exports == Implementation where ++ trigonometric functions to complex exponentials and logarithms, and back. ++ Keywords: trigonometric, function, manipulation. TrigonometricManipulations(R, F): Exports == Implementation where - R : Join(GcdDomain, OrderedSet, RetractableTo Integer, + R : Join(GcdDomain, RetractableTo Integer, LinearlyExplicitRingOver Integer) F : Join(AlgebraicallyClosedField, TranscendentalFunctionCategory, FunctionSpace R) @@ -816,7 +816,7 @@ TrigonometricManipulations(R, F): Exports == Implementation where ++ compute the real and imaginary parts of complex functions. ++ Keywords: complex, function, manipulation. ComplexTrigonometricManipulations(R, F): Exports == Implementation where - R : Join(IntegralDomain, OrderedSet, RetractableTo Integer) + R : Join(IntegralDomain, RetractableTo Integer) F : Join(AlgebraicallyClosedField, TranscendentalFunctionCategory, FunctionSpace Complex R) |