Re: [fricas-devel] [PATCH] add subSylvesterMatrix and subResultant in bezout.spad

2016-08-02 Thread Waldek Hebisch
> > But isn't U32Matrix a hack? It claims to be > MatrixCategory(Integer, ...), but it's 32bit unsigned integer. > > If "q := (x^2+x - 1)::SUP(INT)", there's a "-1", then it will give >>> System error: >The value > -1 > is not of type > (UNSIGNED-BYTE 32) Sure. The intent of U32*

[fricas-devel] algebraic topology code

2016-08-02 Thread Martin Baker
I think I have addressed the issues that Waldek raised. I have merged in the spelling correction from trunk. I have also tried to match the style issues that Waldek uses (such as removing 'date last changed' from header) although I have not seen these style standards documented so I'm not

[fricas-devel] [PATCH] move *trim from StringAggregate to LinearAggregate

2016-08-02 Thread oldk1331
https://github.com/oldk1332/fricas/commit/b5683791c75396c6aa391034b8ff604f5ba1b132.patch move *trim from StringAggregate to LinearAggregate also optimize trim = This commit is quite straight forward. -- You received this message because you are subscribed to the Google Groups "FriCAS -

[fricas-devel] [PATCH] improvements for sturm.spad

2016-08-02 Thread oldk1331
https://github.com/oldk1332/fricas/commit/f8f2d04ca258c64b2f8e210b1dcf5484a1ae26ce.patch add a reference, generalize over UPOLYCAT fix compiler warnings: 1. fix comments of subresultantSequenceBegin 2. fix unused variable q in polsth2 ==