Nuprl Definition : int_term_to_polynom

int_term_to_polynom(t) ==
  int_term_ind(t;
               itermConstant(c)⇒ polyconst(c);
               itermVar(v)⇒ polyvar(v);
               itermAdd(l,r)⇒ rl,rr.eval p = rl in
                                     eval q = rr in
                                       add-polynom(p;q);
               itermSubtract(l,r)⇒ rl,rr.eval p = rl in
                                          eval q = rr in
                                          eval mq = mul-polynom(polyconst(-1);q) in
                                            add-polynom(p;mq);
               itermMultiply(l,r)⇒ rl,rr.eval p = rl in
                                          eval q = rr in
                                            mul-polynom(p;q);
               itermMinus(x)⇒ rx.eval p = rx in
                                  mul-polynom(polyconst(-1);p)) 


Definitions occuring in Statement :  mul-polynom: mul-polynom(p;q),  add-polynom: add-polynom(p;q),  polyvar: polyvar(v),  polyconst: polyconst(k),  int_term_ind: int_term_ind,  callbyvalue: callbyvalue,  minus: -n,  natural_number: $n
Definitions occuring in definition :  int_term_ind: int_term_ind,  polyvar: polyvar(v),  add-polynom: add-polynom(p;q),  callbyvalue: callbyvalue,  mul-polynom: Error :mul-polynom,  polyconst: polyconst(k),  minus: -n,  natural_number: $n
FDL editor aliases :  int_term_to_polynom
Latex:
int\_term\_to\_polynom(t)  ==
    int\_term\_ind(t;
                              itermConstant(c){}\mRightarrow{}  polyconst(c);
                              itermVar(v){}\mRightarrow{}  polyvar(v);
                              itermAdd(l,r){}\mRightarrow{}  rl,rr.eval  p  =  rl  in
                                                                          eval  q  =  rr  in
                                                                              add-polynom(p;q);
                              itermSubtract(l,r){}\mRightarrow{}  rl,rr.eval  p  =  rl  in
                                                                                    eval  q  =  rr  in
                                                                                    eval  mq  =  mul-polynom(polyconst(-1);q)  in
                                                                                        add-polynom(p;mq);
                              itermMultiply(l,r){}\mRightarrow{}  rl,rr.eval  p  =  rl  in
                                                                                    eval  q  =  rr  in
                                                                                        mul-polynom(p;q);
                              itermMinus(x){}\mRightarrow{}  rx.eval  p  =  rx  in
                                                                    mul-polynom(polyconst(-1);p)) 


Date html generated: 2017_10_01-AM-08_33_29
Last ObjectModification: 2017_05_03-AM-10_54_48

Theory : integer!polynomial!trees


Home Index