CoCoA » CoCoALib

20 Jan 2022

20:28 Slug #1646: radical: could be more clever

I have checked in my changes (and asked Anna to check them).
I have added tests (CoCoA-5 @exbugs@... currently @radi... John Abbott

19:31 Slug #1646 (Resolved): radical: could be more clever

The problem was that @myGBasisByHomog@ tried to homogenize all generators without checking whether they are zero.
... John Abbott

19:14 Slug #1646 (In Progress): radical: could be more clever

The source code for @radical@ is still in package @radical.ckpg5@.
If the ideal is 0-dim then the C++ function *@r... John Abbott

20:05 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho

Currently my prototype function is called *@factor_PollardRho@*.
It takes 2 args: @N@ to be factorized (non-zero int... John Abbott

19:58 Feature #1645 (In Progress): Implement monic0(f) for the case monic(0)?

Let's try to make a list of possible "0" functions, and their expected behaviour if given 0 as argument.
* @monic0(f... John Abbott

19:40 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?

This change does mean that the following could give @false@:... John Abbott

19:35 Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?

Should ideals suppress zero generators?
Currently we have:... John Abbott

15:56 Feature #1619: Make saturate available in CoCoALib

To my eye that syntax looks quite ugly.
Why can I not just write *@saturate(I,J)@*?
What does @MakeUnique@ do? And... John Abbott

11:51 Feature #1619: Make saturate available in CoCoALib

It seems like I need to call _MakeUnique(I)->mySaturate(J)_ to compute the saturation of I wrt. to J.
Florian Walsh

17 Jan 2022

13:48 Slug #1646: radical: could be more clever

Bug originally reported by Florian Walsh. Also:... John Abbott

12:07 Slug #1646 (Closed): radical: could be more clever

Who would have predicted the following behaviour?... John Abbott

09:44 Feature #1645: Implement monic0(f) for the case monic(0)?

John Abbott wrote:
> Right now I would be inclined to change the manual.
> I am not yet convinced that @monic0@ is ... Anna Maria Bigatti

08:49 Feature #1645: Implement monic0(f) for the case monic(0)?

Right now I would be inclined to change the manual.
I am not yet convinced that @monic0@ is a good idea. Can you co... John Abbott

08:44 Feature #1645 (In Progress): Implement monic0(f) for the case monic(0)?

... Anna Maria Bigatti

12 Jan 2022

13:57 Slug #1643: rref slower than expected (maybe) [[reduced row echelon form]]

Here is the test I made:... John Abbott

13:54 Slug #1643 (New): rref slower than expected (maybe) [[reduced row echelon form]]

I am preparing a demo for the students, and have written a naive impl of gaussian reduction to triangular form (in Co... John Abbott

10 Jan 2022

17:15 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho

I have now a prototype fn for finding *one* factor using @PollardRhoSeq@.
It takes as input @N>1@ to be factorized, ... John Abbott

07 Jan 2022

20:23 Bug #1641: gcd does not recognize univariate input

I have checked in my first change (so that Anna can experiment with it).
There is more to come (if/when I find time)... John Abbott

04 Jan 2022

11:18 Bug #1641 (In Progress): gcd does not recognize univariate input

I have modified the code to detect univariate inputs and to handle them "cleverly". The result is noticeably faster!... John Abbott