diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-20 04:55:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 04:55:09 +0000 |
| commit | 1316b335ecc97eeaaa4c91258b31c789d8f4b0d3 (patch) | |
| tree | ed428505010ccaac4e4d2bfeb4f667b8039c50f1 /src/algebra/fr.spad.pamphlet | |
| parent | 4c3e77d5efc19d097c7995f7d5f64eee0400ff66 (diff) | |
| download | open-axiom-1316b335ecc97eeaaa4c91258b31c789d8f4b0d3.tar.gz | |
Use Functorial more often.
Diffstat (limited to 'src/algebra/fr.spad.pamphlet')
| -rw-r--r-- | src/algebra/fr.spad.pamphlet | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/algebra/fr.spad.pamphlet b/src/algebra/fr.spad.pamphlet index babaa801..fcdbf432 100644 --- a/src/algebra/fr.spad.pamphlet +++ b/src/algebra/fr.spad.pamphlet @@ -16,6 +16,7 @@ )abbrev domain FR Factored ++ Author: Robert S. Sutor ++ Date Created: 1985 +++ Date Last Modified: May 19, 2013. ++ Change History: ++ 21 Jan 1991 J Grabmeier Corrected a bug in exquo. ++ 16 Aug 1994 R S Sutor Improved convert to InputForm @@ -48,8 +49,8 @@ Factored(R: IntegralDomain): Exports == Implementation where FF ==> Record(flg: fUnion, fctr: R, xpnt: Integer) SRFE ==> Set(Record(factor:R, exponent:Integer)) - Exports ==> Join(IntegralDomain, DifferentialExtension R, Algebra R, - FullyEvalableOver R, FullyRetractableTo R) with + Exports == Join(IntegralDomain, DifferentialExtension R, Algebra R, + FullyEvalableOver R, FullyRetractableTo R,Functorial R) with expand: % -> R ++ expand(f) multiplies the unit and factors together, yielding an ++ "unfactored" object. Note: this is purposely not called \spadfun{coerce} which would @@ -126,12 +127,6 @@ Factored(R: IntegralDomain): Exports == Implementation where ++ For example, when working with factored integers, this operation will ++ ensure that the bases are all positive integers. - map: (R -> R, %) -> % - ++ map(fn,u) maps the function \userfun{fn} across the factors of - ++ \spadvar{u} and creates a new factored object. Note: this clears - ++ the information flags (sets them to "nil") because the effect of - ++ \userfun{fn} is clearly not known in general. - -- the following operations are conditional on R if R has GcdDomain then GcdDomain @@ -621,6 +616,8 @@ FactoredFunctions2(R, S): Exports == Implementation where <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2013, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |