login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

axiom
)show UnivariateTaylorSeriesODESolver
UnivariateTaylorSeriesODESolver(Coef: Algebra(Fraction(Integer)),UTS: UnivariateTaylorSeriesCategory(Coef)) is a package constructor Abbreviation for UnivariateTaylorSeriesODESolver is UTSODE This constructor is not exposed in this frame. ------------------------------- Operations -------------------------------- fixedPointExquo : (UTS,UTS) -> UTS ode1 : ((UTS -> UTS),Coef) -> UTS mpsode : (List(Coef),List((List(UTS) -> UTS))) -> List(UTS) ode : ((List(UTS) -> UTS),List(Coef)) -> UTS ode2 : (((UTS,UTS) -> UTS),Coef,Coef) -> UTS stFunc1 : (UTS -> UTS) -> (Stream(Coef) -> Stream(Coef)) stFunc2 : ((UTS,UTS) -> UTS) -> ((Stream(Coef),Stream(Coef)) -> Stream(Coef)) stFuncN : (List(UTS) -> UTS) -> (List(Stream(Coef)) -> Stream(Coef))




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: