Konrad,
Would you have any objection if I included the code from your
attachment "ncpoly_20180402.tgz" in a github repository? This would
make it easier to share modifications and discuss issues with others.
After some preliminary testing and a detailed look at the coding, I
think that at this state your work would already represent a valuable
addition to FriCAS/Axiom. It seems to me that the only thing missing
is a .input file suitable for inclusion in the FriCAS test suite.
That is easily added. Perhaps also some documentation examples that
could be added to hypedoc would be nice.
One thing that I did notice is that the equality Boolean function is
currently missing from "ncpoly.spad". Perhaps something like
(f:% = g:%) : Boolean == polynomial(f) = polynomial(g)
would be suitable, or maybe something more efficient based more
directly on functions from "linpen.spad"?
There is a perhaps related but strange looking definition in
"ncpoly.spad" that is actually commented out:
--_= : (%, %) -> %
-- ++ \spad{f = g} for testing only ...
(strange because the result type is %). I am not sure of the intention
or if this is irrelevant.
Regards,
Bill Page.
On Thu, May 31, 2018 at 3:37 PM, Konrad Schrempf
<[email protected]> wrote:
> Dear FriCAS-Experts!
>
> Unfortunately I do not have enough resources right now
> to follow your discussion in detail. Since I cleaned up
> my packages a little bit and created a documentation it
> would be easier to refer to the code in the attachment.
> The minimization of linear representations is now done
> using a simplified version of the theory of my latest
> work http://arxiv.org/pdf/1803.10627
>
> In the old code is a minor bug, working with »scalar«
> polynomials does not work properly. For polynomials
> with rank greater than one however, there should not
> be any problems.
>
> Concerning Cohn's publications: Since he was steadily
> streamlining his own theory, I recommend his latest
> book (from 2006) as a reference parallel to his main
> publications. About the ring of nc polynomials in
> particular »Progress in free associative algebras«
> (Isreal J. Math., 1974)
>
>
> Regards,
> Konrad
--
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.
