Re: [open-axiom-devel] [fricas-devel] Re: OpenAxiom-1.2.1 released

[Waldek H. <he...@ma...>]

> 
> http://www.open-axiom.org/1.2
> 
> > 2.1.1 Interpreter
>  
> [...]
>  
> > The interpreter now accepts instantiation of a domain or category
> > constructor with a homogeneous variable length argument list, when
> > the constructor is declared to accept a Tuple.
> 
> that sounds quite interesting.  Is this one step towards making
> constructors like functions, and making functions have type 
>     Tuple Type -> Type 
> (or some such) as in aldor?
>  
> > It is now possible to restrict the type of a mapping-valued
> > expression, e.g. 
> >               _*$Float@((NonNegativeInteger,Float) -> Float)
> >  now selects the multiplication operation default supplied by the
> > category AbelianGroup instead of producing an error. 
> 
> This sounds wonderful!  I want to have this in FriCAS, too, I
> think...

Hmm, I am not sure what the above means, but AFAICS the following
worked for quite a long time:

)abbrev package TTT Test
Test(): with
    foo1 : Float -> Float
    foo2 : Float -> Float
 == add
    ff := _*$Float@((NonNegativeInteger,Float) -> Float)
    foo1(x) == ff(5, x)
    foo2(x) == (_*$Float@((NonNegativeInteger,Float) -> Float))(5, x)

-- 
                              Waldek Hebisch
he...@ma...