Activity
From 01 Dec 2021 to 30 Dec 2021
10 Dec 2021
- 15:54 Bug #1640 (Feedback): MinSubsetOfGens does not find min subset
- 15:53 Bug #1640: MinSubsetOfGens does not find min subset
- During skype meeting, we implemented an improvement (discarding longest polynomial first). Now the given example is ...
09 Dec 2021
- 10:27 Bug #1640: MinSubsetOfGens does not find min subset
- John Abbott wrote:
> I have now re-read the manual, and understood what it was trying to say.
> Maybe re-write the ...
07 Dec 2021
- 00:11 Bug #1640: MinSubsetOfGens does not find min subset
- I have now re-read the manual, and understood what it was trying to say.
Maybe re-write the manual entry to make it ... - 00:09 Bug #1640: MinSubsetOfGens does not find min subset
- I had wanted to show @MinSubsetOfGens@ to my students, but maybe it is better not to do so.
The code is weird; I a... - 00:08 Bug #1640 (Closed): MinSubsetOfGens does not find min subset
- Not sure what @MinSubsetOfGens@ does, but it does not find a min card subset of the gens which generate the same idea...
- 20:26 Bug #1639: RealRoots: crashes after interrupting
- I still get a crash with @product([x-k | k in 0..600])@ and interrupting after about 20s.
Trying with 500 instead of... - 17:49 Bug #1639 (New): RealRoots: crashes after interrupting
- Naturally I discovered this while giving a demo to my students......
06 Dec 2021
- 20:37 Slug #1638: MinSubsetOfGens sometimes very slow
- There are only 256 subsets to try; and some can be quickly eliminated.
I saw the source, and understand that it is n... - 20:35 Slug #1638 (New): MinSubsetOfGens sometimes very slow
- I have just tried @MinSubsetOfGens@, and was surprised how slow it was on a small example....
Also available in: Atom