Francois Maltey <[EMAIL PROTECTED]> writes:
> Hello,
>
> I try to write a package for my own use from the manip.spad file
> for expanding trigonometric functions.
>
> The manip.spad has this definition.
>
> smpExpand p == map (kerExpand, #1::F, p)
>
> It's a map with THREE arguments.
>
> In Polynomial Domain there is only the usual map with TWO arguments.
use HyperDoc:
click Browse
=> enter "map" (without quotes)
=> click Operations
=> click Parameters
=> click map(f, g, x) (usually, f, g, h are functions, but don't rely on
this. you really need to check all 3 argument
forms. That's a shortcoming of HyperDoc, in fact. Note
that #1::F is a shorthand for the function x +-> x::F)
there is only one such map, and it's in PolynomialCategoryLifting.
import PolynomialCategoryLifting(IndexedExponents K, K, R, P, F)
tells axiom to bring PolynomialCategoryLifting(IndexedExponents K, K, R, P, F)
into scope, so that you don't have to package call (using $) these functions
all the time.
Martin
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
