I have now added back 'retract' to exponents in XDPOLY and XRPOLY.
Also changed 'monom' to 'monomial' so it behaves more similar
to normal polynomials (but there is buch of other things like
'constant').
Old implementation in XRPOLY wrongly handled multiplication
by noncommutaitve scalars, that is
On Sat, Apr 30, 2022 at 04:15:46PM +0200, Kurt Pagani wrote:
> In the meantime I've been trying to rewrite some
> functions avoiding XDP, i.e. just using Free-Monoid/Module. In the course of
> this I found the following peculiarity when using listOfTerms/construct:
>
> R:=EXPR INT
> FMR:=FreeModul
Thank you for the detailed explanations. I see the problems and would agree that
keeping retraction to coefficients has priority. In user code one may easily get
along with the current state. In the meantime I've been trying to rewrite some
functions avoiding XDP, i.e. just using Free-Monoid/Module
I am looking at problem reported by Kurt Pagani. Direct reason
for trouble is that up to 1.3.6 FreeModuleCategory exported
retraction to base set. This retraction is no longer present
in 1.3.7. FreeModule still has such retraction, but
XPolynomialRing which inherits implementation from FreeModu
