In principle what you want to do is not that difficult. You need the base field to be something like Expression or maybe Fraction MultivariatePolynomial, etc. , then the noncommutative polynomials are defined over that. What is sometimes a bit tricky is to convince the interpreter that certain symbols are to be interpreted as parameters coming from the base field or as generators (noncommutative variables). Usually you just need to be more explict about the types.
On Fri, Jun 1, 2018, 1:07 PM Raymond Rogers <[email protected]> wrote: > I certainly agree! It's turned a chore into something fun! > > Question: is there some way to introduce a commutating > variable/parameter/undefined "a" into the the equations? > i.e. (1+3*x^2)*(2+a*x*y) > x,y NCP > "a" being a parameter, a member of K the base field. > > Making it a part of the alphabet {x,y,a} works, produces some reasonable > outputs, but I have a feeling that it's unnecessarily restrictive. I > hope this is not an _extremely_ silly question. > > RayR > > > On 06/01/2018 09:25 AM, Bill Page wrote: > > Thank you. Please extend my compliments to the author of this > > excellent documentation. > > > > On Fri, Jun 1, 2018 at 1:53 AM, Franz Lehner <[email protected]> > wrote: > >> > >> On Wed, 30 May 2018, Bill Page wrote: > >>> permits. Do you happen to know if the reference mentioned in the > >>> thesis: [Jan18] B. Janko, “Factorization of non-commutative > >>> Polynomials and Testing Full Matrices”, Projektarbeit, TU Graz (WS > >>> 2017/18), is available? > >> yes, I forgot to attach it in the previous mail. > >> > >> best regards, > >> Franz > > -- 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 https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
