Hi Marduk You certainly know that this is not entirely trivial. The REDUCE ncpoly is quite slow (at least it was some years go). IMO Singular's nfactor.lib is quite sophisticated and could also be implemented in fricas (all structures are already availabe, Ring, FreeModule(R,S) is nc ... This might be a good opportunity for you to write a package ;)
Cohn (a must - showed that assoc free algebra is a unique fac. domain) http://sms.math.nus.edu.sg/smsmedley/Vol-19-2/Euclid's%20algorithm-%20since%20Euclid(PM%20Cohn).pdf UFD https://en.wikipedia.org/wiki/Unique_factorization_domain SINGULAR/NFACTOR.LIB https://cs.uwaterloo.ca/~aheinle/posters/cheriton_poster.pdf https://www.singular.uni-kl.de/Manual/latest/sing_704.htm#SEC756 On 28.05.2018 08:19, Marduk wrote: > Thank you Bill! I already contacted the author. > > I also found out that REDUCE includes this functionality: > > http://www.reduce-algebra.com/reduce38-docs/ncpoly.pdf > > > I think it should also be included in Axiom/FriCAS. > > Marduk > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. -- 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.
