Re: [Axiom-developer] import and map in *.spad files.

[Martin Rubey]

Francois Maltey <address@hidden> 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