[SanBox Zero] (new)

[antoineh]

Changes http://wiki.axiom-developer.org/SanBoxZero/diff
--
\begin{aldor}
#include "axiom.as"

INT ==> Integer; 
NNI ==> NonNegativeInteger;
P ==> UnivariatePolynomial(x ,F);
FP ==> Fraction P ;
LFP ==> List FP;



NTBA(x:Symbol,F:Field): with {   
   Zero:() -> % ;
   coerce: LFP -> % ;
   coerce: % -> LFP ;
   coerce: % -> OutputForm ;
   
   dummy:% -> % ;

}  == add {
   Rep ==> LFP;
   import from INT, NNI ;
   import from F, P, LFP, VFP, List VFP, List P;
   import from PrintPackage ;
   import from MFP;
   import from List MFP ;

   Zero():% == { per [0$FP] }

   coerce (f:LFP):% == per f; 
   coerce (f:%):LFP == rep f;

   coerce (f:%):OutputForm == {
      a1 := rep f :: OutputForm ;
      a2 := message("D ")$OutputForm;
      hconcat(a2,a1) }

   dummy (f:%):% == {
      Zero() ;
      }
}

\end{aldor}
\begin{axiom}
0$NTBA(x,FRAC INT)
\end{axiom}

--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]