Hi Kurt

> The REDUCE ncpoly is quite slow

Perhaps, but it is useful for small expressions and is better than nothing.

> Singular's nfactor.lib is quite sophisticated

I just came across Singular. Looks pretty good.

> This might be a good opportunity for you to write a package ;)

I would love to. But right now I am very busy with my PhD!


On Mon, May 28, 2018 at 4:14 PM, Kurt Pagani <[email protected]> wrote:

> 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 a topic in the
> Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/
> topic/fricas-devel/6pz2ARTNlGw/unsubscribe.
> To unsubscribe from this group and all its topics, 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.
>

-- 
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.

Reply via email to