On 11/11/2014 10:54 PM, Waldek Hebisch wrote: >> It wouldn't probably cover all possible term orders, but certainly >> all the ones that SMTS covers now. > > You overestimate generality of SMTS: AFAICS currently SMTS assumes > that variables have degree 1, so you effectively get total degree + > order from polynomial domain within given total degree.
I wanted to quickly convince myself that this is not true, but failed to create an appropriate polynomial domain Q[x,y] where x would have degree 1 and y degree 2. However, maybe I'm wrong, but I don't really see where SMTS relies on the variables having degree 1. Maybe here: https://github.com/fricas/fricas/blob/master/src/algebra//mts.spad#L127 monomial(r : %, v : Var, n : NNI) == r * monom(monomial(1, v, n)$SMP, n)$STT n is used for creating the exponent of the monomial and also to give the place in the stream. > 'addiag' has one drawback that it effectively forces specific > convergence rate. What exactly do you mean by that? Aren't we dealing with *formal* power series? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
