Ralf Hemmecke <[EMAIL PROTECTED]> writes: > > I think that this was a bad idea anyway, since it is confusing to have also > > the > > coefficient function from AbelianMonoidRing(R: Ring,E: OrderedAbelianMonoid) > > where > > > > coefficient(s, monomial(2, y)$IndexedExponents(Var)) yields just 1. I.e., > > the > > coefficient of y^2 x^0. > > > > (not implemented either) > > I do not really consider it bad (except from not being implemented at > all). The function signatures are different, so it should be clear what > one gets for either function call.
Well, I think that only "morally" equal functions should share names. Although this is very vague indeed. I'd expect that two functions of the same name, one taking a list of variables and a list of exponents which together specify a monomial (and which I personally consider bad practice already, but anyway), and the other taking a monomial in the form of IndexedExponents should yield the *same* result. > > I think it would be better to have a coercion, like perhaps > > > > coerce: % -> UTS(%, var, 0) > I believe, I've seen something like that also in SparseMultivariatPolynomial > in the algebra library of Aldor. It's something connected to the functions > "univariate" and "multivariate" in "alg_smp.as". I guess Axiom's algebra > library also has your equivalent for polynomials. You are right. That's an excellent remark! So, maybe it's better to call it univariate. Or rather, get rid of univariate and call it coerce, or have both. > Agreed. But why do you say, it is your "proposed semantics". Isn't that > already specified through > > TaylorSeries(Coef): Exports == Implementation where > Coef : Ring > ... > Exports ==> MultivariateTaylorSeriesCategory(Coef,Symbol) with > ... > > in mts.spad? Well yes. I only propose to remove the additional signatures for "coefficient". Martin --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
