Activity
From 28 Nov 2022 to 27 Dec 2022
22 Dec 2022
-
11:18 CoCoALib Bug #1719 (In Progress): FactorINT has got worse
- I now have a simpler case:...
21 Dec 2022
-
18:28 CoCoALib Design #1720 (New): DivAlg in CoCoALib
- We have...
-
- Anna Maria Bigatti wrote:
> Reminder for me: write doc for CoCoALib (and check manual for CoCoA-5)
Create the doc...
18 Dec 2022
-
- With the current impl on 127 factors are found, and they are all small enough to be split easily.
So why weren't the... -
- The following test case now works definitely worse: it does not find all factors even with a time limit of 500s
<pre...
16 Dec 2022
-
- My first thought was to let @FactorINT@ accept an optional second arg: this is more-or-less what the CoCoALib impl do...
-
- I have found it useful to be able to impose a time-out on @FactorINT@ calls.
I already have a first impl which seems... -
- The page is ready: https://cocoa.dima.unige.it/cocoa/cocoalib/snapshot.shtml.
I have a personal script which calls @...
15 Dec 2022
-
09:15 CoCoALib Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
- If all else fails, the issue in CoCoA 5 could be fixed in the same manner as ...
14 Dec 2022
-
- Anna has made a prototype website. Not yet publicly visible.
We'll ask the "alpha testers" to see how it works...
-
- I have made a major revision to @doc/txt/ExternalLibs-BOOST.txt@
I think it is now up-to-date.
Closing.
-
- I have added a new "exbug" test. I have updated the code in @CoCoALibSupplement.C@.
I have revised the CoCoA-5 manu... -
- Added test (to @exbugs.cocoa5@).
Closing.
-
- We are satisfied that this is a good resolution.
01 Dec 2022
-
- Here is what I found.
The decision about which types may be compared with *@=@* is determined by *@opEqualMap@*.
Th... -
- The relevant @assert@ is at @Interpreter.C:1581@
A slightly shorter failing case is:... -
- Most likely the bug is in *@intrusive_ptr<RightValue> RuntimeEnvironment::binaryOperatorDispatch@*
around line 1520 ... -
- Julian Danner reported the following crash via email:...
30 Nov 2022
-
- I have revised the release script, and also @configure@ to handle the case of a source tree without the GUI code.
... -
- The easy solution is to continue to distribute as we already do (with GPLv3+, but leaving the Qt stuff with GPLv3).
... -
- I have revised the file *@doc/txt/INSTALL.txt@* to include the info here (and quite a bit more).
Closing! -
- Check that the notes in this issue are aligned with those in the documentation.
Then close this issue -- OK?
-
- Here is a summary of our discussion:
* Anna will make a new web page (with clearly written that snapshots are just f... -
- John Abbott wrote:
> Since IsCoprime can behave "unexpectedly" in ZZ[x]...
> Should we limit the applicability of I... -
- Reminder for me: check both LinKer and eigenfactors
-
- Reminder for me: write doc for CoCoALib (and check manual for CoCoA-5)
-
- Anna Maria Bigatti wrote:
> All is done now, except publishing the documentation (I'm still investigating some techn... -
- Should we permit the user to impose a time limit on *@factor/FactorINT@*?
Is this sensible? Doubling the amount of ... -
- I have checked the code (& updated it).
It seems that the PollardRho loop can anyway output composite factors, thoug... -
- I am not sure who would be able to help with this (Qt-gui on Microsoft)
I have set target version to "sooner or la...
29 Nov 2022
-
- I had thought about identifying non-prime factors by making them negative.
But a colleague said he found that "not v... -
- What should *@factor@* for @BigInt@ do if there are large prime factors (too large to be found)?
Currently, it giv...
28 Nov 2022
-
- JAA thinks making "snapshot" TGZ releases is probably a good idea.
It really helps those volunteers who would like t... -
- Nico Mexis confirms that *both @filesystem@ and @system@* are needed on *Cygwin* -- because it has boost 1.66
I have...
Also available in: Atom