Martin Rubey wrote:
>
> If nobody complains, I'd like to commit the patch below as soon as possible.
>
> Of course, this would be a good opportunity to check all other domains using
>
> grep "== *[[:alnum:]].*add" *.pamphlet
>
> There are not that many.
>
> Martin
>
> Index: algebra/ore.spad.pamphlet
> ===================================================================
> --- algebra/ore.spad.pamphlet (revision 345)
> +++ algebra/ore.spad.pamphlet (working copy)
> @@ -475,6 +475,19 @@
> ++ outputForm(p, x) returns the output form of p using x for the
> ++ otherwise anonymous variable.
> == SparseUnivariatePolynomial R add
> +@
> +
> +We have to define \spadfun{**} and \verb|^|, because otherwise they would be
> +taken from \spadtype{SUP R}, where the default implementation given in
> +\spadtype{Monoid} is overridden. It is sufficient to do so for second
> argument
> +of type \spadtype{PositiveInteger}, since for $n=0$ the definitions agree.
> +There might be a faster definition, of course.
> +
Is this really enough? Something like:
DoD := LODO(EXPR INT, f+->D(f,x))
lodoPower(x : DoD, n: NonNegativeInteger) == x^n
should work. Currently the first line (assignment to DoD) fails,
but assuming it worked I would expect lodoPower to use ^ which
has the second argument beeing NonNegativeInteger and ignore
versions which are defined only for PositiveInteger.
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
