Everyone is allowed to try out SPAD by editing this page. Don't be affraid to destroy anything. The purpose of this page is exactly to give a place for everyone to experiment. Just hit the "edit" link in the upper right corner. spad )abbrev category MYMON MyMonoid MyMonoid: Category == with 1: % _*: (%, spad Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/5443222399567089399-25px001.spad using old system compiler. MYMON abbreviates category MyMonoid ------------------------------------------------------------------------ initializing NRLIB MYMON for MyMonoid compiling into NRLIB MYMON fricas I ==> Integer Type: Void
fricas II ==> I -> I Type: Void
fricas MI ==> MyFun I Type: Void
fricas inc(i: I): I == i+1 Type: Void
fricas double(i: I): I == 2*i Type: Void
fricas minc := inc :: MI fricas Compiling function inc with type Integer -> Integer Type: MyFun?(Integer)
fricas mdouble := double :: MI fricas Compiling function double with type Integer -> Integer Type: MyFun?(Integer)
fricas f := (mdouble * minc) :: II
Type: (Integer -> Integer)
fricas g := (minc * mdouble) :: II
Type: (Integer -> Integer)
fricas f 1
Type: PositiveInteger?
fricas g 1
Type: PositiveInteger?
|