Exposing the SubDomain constructor: fricas (1) -> <spad> fricas )abbrev domain SUB SubDom SubDom(X:Type, fricas Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/2342792302317730065-25px001.spad using old system compiler. SUB abbreviates domain SubDom ------------------------------------------------------------------------ initializing NRLIB SUB for SubDom compiling into NRLIB SUB ****** Domain: C already in scope augmenting C: (IntegralDomain) (time taken in buildFunctor: 1223) fricas xINT := SubDom(Integer,
Type: Type
fricas )sh xINT fricas x:=1$xINT |