diff options
Diffstat (limited to 'src/algebra/fs2ups.spad.pamphlet')
| -rw-r--r-- | src/algebra/fs2ups.spad.pamphlet | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/algebra/fs2ups.spad.pamphlet b/src/algebra/fs2ups.spad.pamphlet index 9751dd40..a27834ae 100644 --- a/src/algebra/fs2ups.spad.pamphlet +++ b/src/algebra/fs2ups.spad.pamphlet @@ -34,10 +34,7 @@ FunctionSpaceToUnivariatePowerSeries(R,FE,Expon,UPS,TRAN,x):_ R : Join(GcdDomain,OrderedSet,RetractableTo Integer,_ LinearlyExplicitRingOver Integer) FE : Join(AlgebraicallyClosedField,TranscendentalFunctionCategory,_ - FunctionSpace R) - with - coerce: Expon -> % - ++ coerce(e) converts an 'exponent' e to an 'expression' + FunctionSpace R, CoercibleFrom Expon) Expon : OrderedRing UPS : Join(UnivariatePowerSeriesCategory(FE,Expon),Field,_ TranscendentalFunctionCategory) |