Changes http://wiki.axiom-developer.org/Guess/diff
--
??changed:
-This is the source from [mantepse.spad.pamphlet]
+This is the second part of the source from [mantepse.spad.pamphlet]
\begin{axiom}
??changed:
\begin{axiom}
-)lib RECOP FAMR2 FFFG FFFGF NEWTON
+)lib RECOP FAMR2 FFFG FFFGF NEWTON GOPT GOPT0 UFPS UFPS1
\end{axiom}
--removed:
\begin{spad}
-)abbrev domain UFPS UnivariateFormalPowerSeries
-UnivariateFormalPowerSeries(Coef: Ring) ==
- UnivariateTaylorSeries(Coef, 'x, 0$Coef)
-
-)abbrev package UFPS1 UnivariateFormalPowerSeriesFunctions
-UnivariateFormalPowerSeriesFunctions(Coef: Ring): Exports == Implementation
- where
-
- UFPS ==> UnivariateFormalPowerSeries Coef
-
- Exports == with
-
- hadamard: (UFPS, UFPS) -> UFPS
-
- Implementation == add
-
- hadamard(f, g) ==
- series map(#1*#2, coefficients f, coefficients g)
- $StreamFunctions3(Coef, Coef, Coef)
-[278 more lines...]
)abbrev package GUESS Guess
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
