Ralf Hemmecke wrote:
>
> Looking at
>
> (1) -> cdr car GETDATABASE('GcdDomain, 'DOCUMENTATION)$Lisp
>
> I get the string
>
> This category describes domains where \spadfun{\spad{gcd}} can be
> computed but where there is no guarantee of the existence of
> \spadfun{factor} operation for factorisation into irreducibles.
> However,{} if such a \spadfun{factor} operation
> exist,{} factorization will be unique up to order and units.
>
> for the original docstring
>
> ++ This category describes domains where
> ++ \spadfun{gcd} can be computed but where there is no guarantee
> ++ of the existence of \spadfun{factor} operation for factorisation into
> irreducibles.
> ++ However, if such a \spadfun{factor} operation exist, factorization
> will be
> ++ unique up to order and units.
>
> Most interestingly, some transformation throws in this extra \spad{...}.
> :-( And it does this just for the first "gcd" but not for the other
> \spadfun marked occurrences of "factor".
Compiler knows list of exported signatures...
>
> Any idea which function does that ugly thing? I would like to fix this.
Probably 'checkDecorate' in 'c-doc.boot'. Apparently it knows
about '\spad' but not about '\spadfun'.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
