Nuprl Definition : compose-polynom

compose-polynom(n;p;q) ==
  if (n =z 0)
  then q
  else accumulate (with value z and list item a):
        if poly-zero(n - 1;a) then mul-polynom(n;z;p) else add-polynom(n;tt;mul-polynom(n;z;p);[a]) fi 
       over list:
         q
       with starting value:
        polyconst(n;0))
  fi 


Definitions occuring in Statement :  mul-polynom: mul-polynom(n;p;q),  polyconst: polyconst(n;k),  add-polynom: add-polynom(n;rmz;p;q),  poly-zero: poly-zero(n;p),  list_accum: list_accum,  cons: [a / b],  nil: [],  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  btrue: tt,  subtract: n - m,  natural_number: $n
Definitions occuring in definition :  eq_int: (i =z j),  list_accum: list_accum,  ifthenelse: if b then t else f fi ,  poly-zero: poly-zero(n;p),  subtract: n - m,  add-polynom: add-polynom(n;rmz;p;q),  btrue: tt,  mul-polynom: mul-polynom(n;p;q),  cons: [a / b],  nil: [],  polyconst: polyconst(n;k),  natural_number: $n
FDL editor aliases :  compose-polynom
Latex:
compose-polynom(n;p;q)  ==
    if  (n  =\msubz{}  0)
    then  q
    else  accumulate  (with  value  z  and  list  item  a):
                if  poly-zero(n  -  1;a)
                then  mul-polynom(n;z;p)
                else  add-polynom(n;tt;mul-polynom(n;z;p);[a])
                fi 
              over  list:
                  q
              with  starting  value:
                polyconst(n;0))
    fi 


Date html generated: 2017_09_29-PM-06_03_48
Last ObjectModification: 2017_04_26-PM-02_05_13

Theory : integer!polynomials


Home Index