Activity
From 29 Dec 2021 to 27 Jan 2022
27 Jan 2022
- 19:25 Feature #1652: Add LM to cocoalib ?
- Florian Walsh wrote:
> That makes sense. I was implementing DivAlg which seems to exist only in a cocoa package.
... - 14:19 Feature #1652: Add LM to cocoalib ?
- We really need to come up with a way of making the CoCoALib documentation friendlier.
I am reasonably happy with how... - 14:02 Feature #1652: Add LM to cocoalib ?
- That makes sense. I was implementing DivAlg which seems to exist only in a cocoa package.
I should probably use the ... - 11:55 Feature #1652: Add LM to cocoalib ?
- The reason why we do not have @LM@ in cocoalib is that we prefer not to make it handy ;-)
Sounds like a joke, but ... - 18:43 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- Since we do have some doubts about what exactly "cleaning" means, and whether we like the idea, I propose the followi...
- 18:36 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- After brief consideration, I have decided to keep in this issue discussion related to what "cleaning generators" migh...
- 15:01 Design #1653: Discriminant: return value
- @discriminant@ is actually two functions: univariate inputs, and multivariate input with specified indet.
The multiv... - 14:54 Design #1653 (Closed): Discriminant: return value
- To which ring should the return value of @Discriminant@ belong?...
- 14:24 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- I suggest making @SmoothFactor@ obsolescent, and just forward the call to @FactorINT_TrialDiv@.
I think I prefer @... - 12:29 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- John Abbott wrote:
> * *@FactorINT_TrialDiv(N,pmax)@* trial division upto @pmax@
> Opinions?
maybe just *@Facto...
26 Jan 2022
- 16:11 Feature #1652 (In Progress): Add LM to cocoalib ?
- To compute the leading monomial of a polynomial in cocoalib I need to call ...
- 15:17 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- John Abbott wrote:
> We could also have two ways of creating ideals: _e.g._ @ideal(L)@ and @ideal_DoNotCleanGens(L)@... - 14:19 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- I like the "separate concept" of "generator cleaning", and it would be nice to make it available as a function.
I am... - 14:11 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- I have just spoken to Florian about this issue.
His initial reaction was that he wanted @gens(ideal(L))@ to be an id... - 12:46 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Another proposal:
* *@FactorINT(N,TimeOut)@* tries both @TrialDiv@ and @PollardRho@; maybe also does @IsProbPrime@ ...
24 Jan 2022
- 10:04 Design #1647 (In Progress): Suppress zero from ideal generators? Detect 1 and simplify generators?
- Potentially related to this discussion...
We can create a zero ideal by supplying an empty list of gens; however, th... - 09:07 Slug #1646: radical: could be more clever
- I think that, along the same line -- actually in the previous line ;-)
we should change ...
21 Jan 2022
- 13:06 Design #1649 (Closed): Add file SparsePolyOps-vector.C
- Add file SparsePolyOps-vector.C with functions interreduced (now in SparsePolyOps-interreduced.C) and syz(vector) (new)
- 13:04 Support #1612 (In Progress): Merge the doc file RadicalMembership.txt into ideal.txt
- Review code in @SparsePolyOps-RadicalMembership.C@.
Rename file to @SparsePolyOps-ideal-RadicalMembership.C@ (als... - 12:22 Feature #1619: Make saturate available in CoCoALib
- In ideal.C we have *@intersect@* and *@colon@*.
We should add *@saturate@* in the same way.
(similarly, we should... - 12:14 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Drastic change: @FactorBound, FactorIter@ or @FactorINTBound, FactorINTIter@ or @FactorINT_bound, FactorINT_iter@?
- 12:12 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Anna thinks a name closer to @SmoothFactor@ would be more appropriate because the fns both take 2 args...
No final d... - 11:19 Feature #1645: Implement monic0(f) for the case monic(0)?
- Anna says it is OK to have these "dirty" functions because their names are strange.
She suggests that they each have... - 10:57 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- Anna has some doubts.
So far we had the simple rule that @L = gens(ideal(L))@.
Also the fn *@SyzOfGens@* is defin... - 10:38 Slug #1646 (Closed): radical: could be more clever
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... - 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.
... - 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... - 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... - 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... - 19:40 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- This change does mean that the following could give @false@:...
- 19:35 Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?
- Should ideals suppress zero generators?
Currently we have:... - 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... - 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.
17 Jan 2022
- 13:48 Slug #1646: radical: could be more clever
- Bug originally reported by Florian Walsh. Also:...
- 12:07 Slug #1646 (Closed): radical: could be more clever
- Who would have predicted the following behaviour?...
- 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 ... - 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... - 08:44 Feature #1645 (In Progress): Implement monic0(f) for the case monic(0)?
- ...
12 Jan 2022
- 13:57 Slug #1643: rref slower than expected (maybe) [[reduced row echelon form]]
- Here is the test I made:...
- 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...
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, ...
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)...
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!...
Also available in: Atom