Activity
From 28 Jan 2020 to 26 Feb 2020
26 Feb 2020
-
22:47 CoCoALib Bug #1426: Main Makefile: does not rebuild dependencies
- It seems to rebuild dependencies only in @src/tests/@.
Too tired to investigate now :-(
-
22:46 CoCoALib Bug #1426 (Closed): Main Makefile: does not rebuild dependencies
- It seemsthat the main @Makefile@ does not rebuild dependencies after a @make veryclean@.
Investigate & fix.
-
22:22 CoCoA-5 Bug #1412: Emacs UI: font size
- I had a quick look online for hints about increased font sizes...
* the emacs function which changes the font size... -
21:03 CoCoA-5 Bug #1412: Emacs UI: font size
- Clue city!
In @cocoa5.el@ near line 1743 in the fn defn for *@cocoa5-send-region@*,
I commented out the command *... -
20:40 CoCoA-5 Bug #1412: Emacs UI: font size
- Increased font size was forgotten when:
* had a @*cocoa*@ buffer with no process, and then sent a single line (C-RET... -
17:18 CoCoA-5 Support #1333 (Resolved): Typevectors
- Mostly done.
Tested by Yong-Su Shin -
16:59 CoCoA-5 Support #1027 (Feedback): CoCoAManual: add a page with some emacs hints?
- I think the current tutorial is good enough as a first "basic" tutorial; we can add a more advanced one for the next ...
-
16:50 CoCoA-5 Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
-
16:32 CoCoA-5 Feature #1289 (Closed): assert-function for cocoa5
-
16:31 CoCoA-5 Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
- commented out ASSERT.
This may be closed, leaving Design #1422 to do for next release. -
16:27 CoCoA-5 Bug #1421 (Closed): SEGV: error("")
-
16:24 CoCoA-5 Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- Anna has checked everything on her computer. Works fine.
Closing.
-
15:25 CoCoA-5 Bug #1424 (Resolved): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I have checked all uses of @ErrorInfo@ in @Interpreter.C@ (and changed some indentation). It seems OK now.
Added an... -
14:35 CoCoA-5 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I have tidied (incl. indented comprehensibly) the code. I have tested it with the example in comment 5, and all seem...
-
13:28 CoCoA-5 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- The impl in @Interpreter.C@ is not as clear as it could be... The relevant function is in lines 3285--3338
*@intrus... -
12:12 CoCoA-5 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- Here is a test for both ideals and modules.......
-
12:02 CoCoA-5 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- After looking at the code, I think the same problem exists for modules.
-
15:51 CoCoA-5 Design #1425 (New): MakeTerm: implement in C++
- Currently *@MakeTerm@* is implemented in @cocolib.cpkg5@.
Move it into C++.
-
11:30 CoCoALib Design #1422 (In Progress): Remove flag IhaveGBasisValue?
- *IMPORTANT* When the task is almost finished, we must review the impl of *@SparsePolyRingBase::IdealImpl::myGBasis@*.
25 Feb 2020
-
22:04 CoCoA-5 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I have fixed the problem, but want to discuss with Anna before checking in.
The problem was indeed where I said, b... -
21:58 CoCoA-5 Bug #1424 (In Progress): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I expect the problem isin @Interpreter.C@ at line 3316 where a @CoCoA::ErrorInfo@ is caught, but @InterruptReceived@ ...
-
21:36 CoCoA-5 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I confirm the bug in 5.2.9.
-
17:29 CoCoA-5 Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- If you call the 'isin' command and want to abort the computation using <ctrl+c>, CoCoA-5 crashes and outputs: ***ERRO...
-
18:28 CoCoALib Feature #1212: New function: GBasisByHomog
- Urgent: DegLex (should be easy)
-
17:50 CoCoALib Design #1422: Remove flag IhaveGBasisValue?
- Some notes:
* if the ideal is zero then the GBasis is empty (but correct)
* if our impl assumes that non-empty gbas... -
16:15 CoCoALib Design #1422 (In Progress): Remove flag IhaveGBasisValue?
- As often happens, storing twice an information may lead to problems.
We have the fields @IhaveGBasisValue@ and @myGB... -
17:20 CoCoALib Bug #1423: Radical 0-dim NYI? missing case for GBasisByHomog
- I am pretty sure that this is not new, but i could not quickly find the relevant issue... so I have a new issue (2020...
-
17:19 CoCoALib Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog
- The following is annoying:...
-
16:24 CoCoA-5 Bug #1420: IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
- This problems comes from the fact that @IdealOfProjectivePoints@ computes a GBasis, without determining the minimal g...
-
16:07 CoCoA-5 Bug #1420 (Resolved): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
-
11:16 CoCoA-5 Support #1386: IsIndetPosPower: behaviour and manual page
- Added a CooA-5 manual page.
24 Feb 2020
-
16:56 CoCoA-5 Bug #1335 (Closed): ManExamples: some problems
- Closing, as I believe the current arrangement is acceptable.
21 Feb 2020
-
20:23 CoCoALib Slug #1375: Radical 0-dim: varied timings
- Here are some test cases I found using a random search (ensuring the gens were x^6+lower, y^6+lower, z^6+lower):
<pr... -
14:50 CoCoA-5 Support #1387 (Closed): John's visit Feb 2020
-
14:18 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have given Klaus a (minimal) executable to use for developing on his computer.
A full executable gave a linker err... -
14:16 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have just had a meeting with Klaus:
* KISS: we do not use sockets at the moment, but instead @CoCoAInterpreter@ se... -
13:01 CoCoA-5 Feature #1415: thmproving package
- I think @thmproving.cpkg5@ is OK, but the documentation needs to be checked and properly integrated.
-
12:59 CoCoA-5 Bug #1421 (Feedback): SEGV: error("")
- Not sure what the compilation problem in comment 3 was; it seems that starting CoCoA-5 from inside emacs, might somet...
-
12:44 CoCoA-5 Bug #1421: SEGV: error("")
- While it is hard to imagine how an empty error description could be useful, it is surely wrong that CoCoA-5 crashes.
...
20 Feb 2020
-
17:06 CoCoA-5 Bug #1421: SEGV: error("")
- ...
-
17:03 CoCoA-5 Bug #1421 (In Progress): SEGV: error("")
- Not pretty!!...
-
17:02 CoCoA-5 Bug #1421 (Closed): SEGV: error("")
- The *@error@* function does not like having an empty string as argument: throws a fatal exception!
Reported vocall... -
16:58 CoCoA-5 Support #1404: Which commands should "terms" be a keyword for?
- This is what I get at the moment:...
-
16:53 CoCoA-5 Bug #755: Find out how to compile statically on linux
- Now I wonder if it may not be better to have the version *without* @readline@ being the default: it is less likely to...
-
16:16 CoCoA-5 Feature #1289 (Feedback): assert-function for cocoa5
- I have checked that *@assert@* exists and works, and is documented...
JAA thinks it is reasonable to include it in 5... -
10:02 CoCoA-5 Feature #1289: assert-function for cocoa5
- Should @assert@ be in 5.3.0 release?
I've changed target to 5.3.0 so that we discuss it! -
16:05 CoCoA-5 Support #890 (Feedback): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
- I have improved the documentation (which is where I believe the problem lay).
The impl seems to be reasonable; but i... -
10:04 CoCoA-5 Support #890: ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
- The doc for @ImportByRef@ and @ImportByValue@ starts with a big warning. Is this still necessary?
Check this issu...
19 Feb 2020
-
11:46 CoCoA-5 Feature #1415: thmproving package
- Remove thmproving from RelNotes!
-
11:43 CoCoA-5 Feature #1236 (Closed): Add "socket" devices
- I have just tested, and slightly modified the manual.
Closing.
-
11:31 CoCoA-5 Feature #1316 (Closed): Matrix row reduction (rref)
-
11:29 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- Perhaps see also issue #1236 to see how I implemented sockets...
-
11:27 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5
- I think we are quite far from completing this issue. Postponing...
18 Feb 2020
-
12:35 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- I have done the following files:...
-
12:20 CoCoA-5 Bug #1420 (In Progress): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
- The problem is in the fn @myGBasis@
The impl has too many assertions that @myGBasis@ is empty; just a single asser... -
12:19 CoCoA-5 Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
- I compiled CoCoALib (and CoCoA-5) with debugging active. The last test in @exbug.cocoa5@ fails...
17 Feb 2020
-
18:15 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- I have changed some @for@ loops to use the new syntax.
It is slightly worrying that one can change the code so easil... -
16:14 CoCoALib Feature #1419 (New): DynamicBitset::IamAll1s
- A challenge for Anna: can you write @DynamicBitSet::IamAll1s@ using the new "range-based" for loop syntax?
-
15:18 CoCoA-5 Support #240: GUI compilation: GMP is not naturally thread-safe
- This issue is very old. GMP has surely changed over the last 5 years (but last update was about 2 years ago).
The o... -
15:10 CoCoA-5 Bug #755: Find out how to compile statically on linux
- I propose:
* make Linux binaries *without* libblas
* make two binaries: the default one with @readline@, and anothe... -
14:54 CoCoA-5 Support #1387: John's visit Feb 2020
- Visit is over. We managed to do most things :-)
Closing. -
14:51 CoCoA-5 Feature #1316 (Feedback): Matrix row reduction (rref)
- Removed old impl. Added doc and test.
-
13:59 CoCoA-5 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz
- Anna can you try compiling the latest version (3.8.4)?
Also note well what you had to do to make it compile.
-
13:58 CoCoA-5 Support #177: CoCoAManual: General part of the documentation is obsolete: update? discard?
- This is not urgent for Vietnam; postponing. Though it we be good if we could make some progress.
-
13:55 CoCoA-5 Feature #1372: New function: find ?
- I still prefer postponing this issue to the next version, so that we can discuss better the semantics, and when/if er...
-
12:29 CoCoALib Feature #1395: SHA checksum for released code
- My idea in comment 8 is not so clever... well, the SHA cannot be inside the TGZ file.
Just put it on the website in ...
15 Feb 2020
-
23:52 CoCoA-5 Bug #1335 (Feedback): ManExamples: some problems
- The current state is that only the entries for *@OpenSocket@*, *@ReloadMan@* and *@SystemCommand@* report errors.
I ... -
23:44 CoCoALib Bug #1264 (Feedback): Remove unnecessary files before making CoCoALib release TGZ files
- I have now added the related issue (#990) for the targz file for the binary release.
I suppose we should do a fina... -
23:41 CoCoA-5 Design #990: CoCoA-5 distribution: tidying
- I have unpacked the latest targz "binary" file for CoCoA-5.2.9.
Some files erroneously have "execute" permission:
... -
15:13 CoCoALib Slug #1375: Radical 0-dim: varied timings
- There is a similar line in @myTestIsPrimary_0dim@ (around line 252).
Make the same change there???
-
10:42 CoCoALib Feature #1395: SHA checksum for released code
- -A fairly simple approach would be to put the SHA checksum in the release notes- (perhaps near the start?) *<--- BAD...
-
10:35 CoCoA-5 Support #1393: GUI with Qt5
- There was not enough time during my visit, so we were unable to look at this. Postponing to next version.
-
10:34 CoCoA-5 Support #1027: CoCoAManual: add a page with some emacs hints?
- There is a tutorial about the emacs UI. Perhaps this can be extended; or maybe a "basic" and an "advanced" tutorial?
-
10:30 CoCoA-5 Support #1418 (New): Manual entry for NewPolyRing
- Make the manual entry for *@NewPolyRing@* easier to understand.
-
10:28 CoCoA-5 Feature #1290 (Closed): NewPolyRing: allow symbols with just head and no indices?
- This seems to work fine now. The manual page needs cleaning; but I'll make a separate issue.
Closing.
-
10:23 CoCoA-5 Feature #1372: New function: find ?
- @find@ may also behave in a "slightly unexpected" way:...
14 Feb 2020
-
17:35 CoCoA-5 Feature #1372: New function: find ?
- If the list @L@ contains entries of different types then the fn defn given above might produce an error (since @opera...
-
17:27 CoCoA-5 Support #1386 (Closed): IsIndetPosPower: behaviour and manual page
- Now it gives @false@.
Added test to @test-bug3.C@.
-
17:10 CoCoA-5 Bug #1286 (Closed): Website: trouble with the world map
-
16:10 CoCoALib Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
- This is related but not quite the same as #1378.
The point is this: if we let more time to compute the partial GBase... -
16:05 CoCoALib Feature #1417 (In Progress): RadicalZeroDim with extra parameter for GBasis timeout
- We have seen how changing the timeout for GBasis can affect the time dramatically.
Should we make a function @Radica... -
15:38 CoCoALib Slug #1375: Radical 0-dim: varied timings
- Now the problem is: which time limit to give to GBasis computations?
Currently there is "variable bound" + "fixed ... -
14:01 CoCoALib Design #1391 (Resolved): RingElems: syntax with [ and ] ?
- Made it more robust with empty list.
-
13:51 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- I prefer A, John prefers B, so we'll have them both.
Write documentation. -
13:43 CoCoA-5 Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials
- Names have been improved. Perhaps we'll think of better ones after the COCOA School...
Closing.
-
13:26 CoCoALib Feature #91: Return type & name for "indets" of a PP
- The name is now *@IndetsIn@* the same name for the analogous fn for @RingElem@.
-
11:01 CoCoALib Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files
- Anna tried her script for making a source code TGZ file. We found just 3 spurious files: these have been removed.
I... -
10:58 CoCoALib Design #1409 (Closed): myTestIsPrimary & Co. : fix design
- Appears to work now. Closing.
-
10:54 CoCoA-5 Support #1311 (Closed): THINGS TO DO IN GENOVA September 2019
-
10:53 CoCoA-5 Support #1027: CoCoAManual: add a page with some emacs hints?
- It would be nice to improve this a bit for Vietnam. Do we have enough time to do so?
-
10:50 CoCoA-5 Support #1312: Wrong links on page about COCOA School in Sapporo
- We should remove the link to Sapporo (since it is no longer relevant).
Our web page is @http://cocoa.dima.unige.i... -
10:48 CoCoA-5 Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo
- This cannot be solved: the remote has been replaced by something else.
Closing.
-
10:48 CoCoA-5 Support #1315 (Closed): Manual entry about reporting bugs?
- final minor polishing.
-
10:21 CoCoALib Feature #966 (Closed): New function or explain: first and last for a vector?
- I have moved the example into a new file *@ex-c++-vector2.C@* which illustrates how to "translate" the CoCoA-5 functi...
-
09:33 CoCoALib Bug #1416: IdealOfProjectivePoints and MinGens
- and this doesn't....
-
09:18 CoCoALib Bug #1416 (In Progress): IdealOfProjectivePoints and MinGens
- The following works:...
-
09:00 CoCoALib Bug #1416 (Closed): IdealOfProjectivePoints and MinGens
- Juan Migliore found this weird bug:...
-
09:22 CoCoA-5 Bug #519 (Closed): GUI: fix DEFINES in makefile
- The old Qt interface has not worked for quite some time.
Also we now handle CPP flags in a different way (via the fi... -
09:08 CoCoA-5 Support #1344 (Rejected): Clean out OBSOLESCENT
- Anna assumes henceforth *TOTAL RESPONSIBILITY* for @obsolescent.cpkg5@.
She wants to extend it until eternity. Go...
13 Feb 2020
-
18:59 CoCoA-5 Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing
-
17:46 CoCoALib Feature #91 (Closed): Return type & name for "indets" of a PP
- This has already been done, apparently.
There is a fn called *@indets@* which returns a @vector<long>@ being a list ... -
17:22 CoCoA-5 Feature #1401 (Closed): Parolacce e basi border
- Robbiano dice che il nuovo codice di Long e` sufficiente. MK crede che la vecchia codice (in C++) sia piu` veloce.
... -
17:17 CoCoA-5 Support #1318 (Closed): Clean CoCoA-5/tests directory
- Marked some tests as *@INACTIVE@* (by changing file name); Anna thinks it is best to keep these tests around, in case...
-
16:39 CoCoA-5 Feature #673 (Closed): Error message: I was expecting...
- Seems OK now. No doubt the school in Vietnam will be an "interesting" proving ground.
Closing.
-
16:37 CoCoA-5 Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled
- The option is available unde the CoCoA-5 drop down menu. It remains active only the current emacs session: if you cl...
-
16:30 CoCoA-5 Feature #1374 (Closed): Add function power to CoCoA-5
- To appease Anna I have implemented the special case of the power of a diagonal matrix in CoCoALib (and removed @Power...
-
16:21 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- I looked for @iterator@ and changed in a few more files. (can't remember which)
Not so many left to do. -
16:09 CoCoA-5 Bug #1385 (Closed): valgrind: reports 456byte leak
-
16:08 CoCoA-5 Design #474: Eliminate package BinRepr
- Not necessary for this release. The remaining fns should be ported to C++; then we can elim the package.
-
16:04 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- Maybe the move ctor from C++14 can help here?
Postponed because it will take (a lot of) time to fix.
-
15:50 CoCoA-5 Bug #1286: Website: trouble with the world map
- The problem remains on the main page for CoCoA-4.7.5.
In any case, we are planning to hide/remove these (very old) p... -
15:44 CoCoA-5 Support #1368 (Closed): Improve manual for mod
-
15:40 CoCoA-5 Design #1352 (Closed): cocoa5 (launch) script: sleep time
-
15:40 CoCoA-5 Feature #1410 (Closed): IsDivisible also for INT
- manual done
-
10:19 CoCoA-5 Feature #1410: IsDivisible also for INT
- done...
-
15:36 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- A command line flag for the CoCoAInterpreter is now available, but it does not yet open a socket. This will be fixed...
-
15:29 CoCoA-5 Feature #1415 (In Progress): thmproving package
- I have ported the code. In fact @thmproving.cpkg5@ is already included in 5.3.0, but completely undocumented. Let's...
-
15:27 CoCoA-5 Feature #1415 (In Progress): thmproving package
- Port old CoCoA-4 package *@thmproving@* to CoCoA-5.
-
15:09 CoCoALib Feature #658 (Closed): Indets actually in a poly (or vector or matrix)
- Implemented *@IndetsProd@* -- advantage is that it gives same interface in CoCoALib as in CoCoA-5. *@IndetsIn@* is a...
-
14:24 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
- After discussing with Anna, she wants the result to be a polynomial (which is a 1-monomial) whose value is the produc...
-
14:08 CoCoALib Feature #1395: SHA checksum for released code
- Anna confirms that she has @shasum@ on her computer.
The main question remaining is how to use the SHA sum in a se... -
14:04 CoCoA-5 Bug #1412: Emacs UI: font size
- See comment 6 in issue #1358. I think it might be relevant here.
-
14:03 CoCoA-5 Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- This has been working trouble-free for 3 months. Closing.
-
11:12 CoCoALib Support #26: Redmine Administration
- It would be helpful to have a short "manual" for redmine which explains how to do some operations (_e.g._ create a ne...
-
11:06 CoCoALib Support #1353 (Closed): configure script help
- Anna finds current @--help@ doc acceptable. Closing.
*NOTE* the help will almost certainly change when #1360 is i... -
10:55 CoCoALib Support #1338 (In Progress): Release CoCoALib-0.99700
-
10:30 CoCoALib Bug #935 (Closed): ElimMat, ElimHomogMat: complain about zero or negative weights
- The code calls @IsNonNegGrading@ (see @MatrixForOrdering.C@ around lines 959 and 973).
I presume @IsNonNegGrading@ ... -
10:09 CoCoA-5 Bug #1230 (Closed): PrimaryDecomposition with lex ordering
- I have added the example to @exbugs.cocoa5@
Closing!
-
09:25 CoCoA-5 Bug #1230 (Feedback): PrimaryDecomposition with lex ordering
- Seems to work now.
We did not note how we fixed the problem in comment 5. :-/
closing? -
10:09 CoCoALib Feature #958: New function: multiplicity and dim
- Yet to be fixed: non homogeneous input.
(postponed again) -
09:35 CoCoA-5 Design #1327 (Closed): Inconvenient PolyRingHom, PolyAlgebraHom
-
09:30 CoCoA-5 Bug #1383 (Closed): NewPolyRing on MS Windows
-
09:29 CoCoA-5 Bug #1384 (Closed): NewPolyRing and SymbolRange
-
09:26 CoCoA-5 Bug #1273 (Closed): NewPolyRing and SymbolRange together make a crash
12 Feb 2020
-
18:17 CoCoALib Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
-
16:39 CoCoALib Design #1184 (Feedback): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
-
15:49 CoCoALib Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
- I checked. The class declaration is in @SparsePolyIter.H@.
There are only to functions defined in @SparsePolyOps-Ri... -
18:14 CoCoALib Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog
- Removed all calls to clog. Replaced with VERBOSE.
-
16:35 CoCoALib Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- The name was changed about 4 years ago (late 2015 or early 2016).
The name @MakeTermOrdMat@ is more sensible; we w... -
16:28 CoCoALib Support #613: Which ubuntu / debian packages are needed to compile CoCoA
- This info is useful for people who want to download the source and compile; it is not necessary for the imminent rele...
-
16:16 CoCoALib Bug #1260 (Closed): Fix file permissions after using CVS
- When should we run the script?
It would be nice if it could be run automatically (and "often"), but it cannot really... -
16:11 CoCoALib Support #1161 (Closed): Split NumTheory.C into several smaller files
-
16:11 CoCoALib Design #1326: Modify function myElim so that it returns ideal? (not quite)
- I prefer to create a new ideal, and not to change the existing one.
Note that an exception-safe impl almost certai... -
15:57 CoCoALib Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?
- At some point I put in the @trap@ command. It seems to have worked OK for the last month or so.
Closing.
-
15:49 CoCoALib Support #1263: Tidy CoCoALib test directory
- I have merged @test-bug5@ into @test-bug2@ and @test-bug4@ into @test-bug3@.
*SPEED CHECK* compilation of all tes... -
15:35 CoCoALib Design #849: Cleanup MinPoly code
- After so much time I think "Why bother?". Mathematically it is nice and clean, practically it is next to pointless, ...
-
15:26 CoCoALib Feature #1277 (Closed): Gaussian row reduction
- I have added a test to @test-matrix2.C@.
-
15:17 CoCoALib Feature #1277 (Feedback): Gaussian row reduction
- Now documented. CoCoALib and CoCoA-5.
Do we really need a test?
-
15:00 CoCoALib Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore
- I have rearranged the root @Makefile@: there is a new phony target @before-compiling@ which builds @include/CoCoA/lib...
-
14:46 CoCoALib Bug #2: Makefile problem in ROOT and/or src/AlgebraicCore
- Here is a *bad idea*: in the root @Makefile@ I simply removed the dependency of @check@ on @library@. This _does not...
-
14:51 CoCoALib Design #1414 (In Progress): Make class RingElemVector?
- I have a personal test implementation called @ex-RingElemVector.C@
-
14:49 CoCoALib Design #1414 (In Progress): Make class RingElemVector?
- Should we implement a class for list/vector of RingElem, all guaranteed to be in hte same ring? (a bit like PPVector)...
-
14:43 CoCoALib Feature #357 (Rejected): Constructor for vectors? CoCoAVector
- Discussed in person, and agreed to *reject* it.
-
09:35 CoCoALib Slug #1238 (Closed): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- checked-in.
-
09:07 CoCoALib Slug #1238 (Feedback): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
-
08:48 CoCoALib Design #1409: myTestIsPrimary & Co. : fix design
- Fixed all functions @myTest...@ so that they return void.
Now the compiler should help if something is not done prop...
11 Feb 2020
-
18:33 CoCoALib Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled
- The warning seems to be harmless: it worked on my Linux box, and it works on Anna's Mac despite the warnings.
We d... -
18:31 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- worked on TmpGReductor: much more readable!!!
-
18:28 CoCoALib Bug #1308 (Closed): test-GFan1 fails
- Annd and I spent quite a long time getting the latest versions of CDD and GFAN to compile, and work with CoCoALib.
A... -
18:09 CoCoALib Bug #1362 (Feedback): GBasis verbose mode: some output is on cerr/clog
- Anna has changed all prints in @TmpGReductors@ to use the stream produced by @VerboseLog@.
Compiles & all tests pa... -
18:07 CoCoALib Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately
- I have decided also to put "short-cuts" for bad ostreams inside the mem fns which produce output.
This is not really... -
13:13 CoCoALib Design #1413 (Closed): configure script: MODE option obsolete?
- After discussing with Anna, I have removed the obsolete option *@--mode@*.
-
12:41 CoCoALib Design #1413 (Closed): configure script: MODE option obsolete?
- The help for @configure@ says there is a *@--mode@* option, but looking at the code in the @configure@ script, it see...
-
12:22 CoCoALib Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
-
12:09 CoCoALib Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks
- Improved doc with Anna's help. Closing.
07 Feb 2020
-
12:19 CoCoALib Slug #1394: Oddly slow GBasis computation (slow final cleanup)
- Here is another example (with *@DegRevLex@*). The "Final clean up" consumes 99% of the time!...
06 Feb 2020
-
18:45 CoCoA-5 Bug #1412: Emacs UI: font size
- same here!
-
16:14 CoCoA-5 Bug #1412 (In Progress): Emacs UI: font size
- An important clarification:
* if I send a line to CoCoA-5 then the magnification remains unaffected
* if I do *@Sou...
05 Feb 2020
-
22:48 CoCoA-5 Bug #1412: Emacs UI: font size
- On my computer it keeps the big fonts.
Both on emacs-24 and emacs-26. -
22:02 CoCoA-5 Bug #1412 (Closed): Emacs UI: font size
- With my emacs (ver. 25) I can increase the size of the font using @C-x C-+@.
This also works for a @*cocoa5*@ comint... -
14:12 CoCoA-5 Feature #1236: Add "socket" devices
- I have made the manual entry better (I hope!)
-
13:35 CoCoALib Design #1409: myTestIsPrimary & Co. : fix design
- I like the suggestion to change the fn to *@void@*. Still we should discuss it when I'm there.
Also we should look ...
04 Feb 2020
-
13:48 CoCoALib Feature #1395: SHA checksum for released code
- Florian has reported a problem with our being "naughty" about making a new release without changing the version numbe...
-
13:38 CoCoALib Design #1409: myTestIsPrimary & Co. : fix design
- The corrected code should be in 0.99700.
We should discuss the design when I'm in Genoa. Maybe we can finish this f... -
13:35 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have just spoken to Klaus.
JAA will try to modify the interpreter so that it send the "status messages" to a speci...
03 Feb 2020
-
17:47 CoCoA-5 Bug #1408 (Feedback): CoCoAManual - tex: error if syntax is missing
- done. checked-in.
-
15:08 CoCoA-5 Bug #1408 (In Progress): CoCoAManual - tex: error if syntax is missing
- Yes, I think this is reasonable. Presumably the entries for the obsolescent commands should simply say which functio...
-
11:32 CoCoA-5 Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing
- I realized that tex fails if the syntax field of a command is missing, and the error message is not helpful (problem ...
-
16:03 CoCoA-5 Feature #1410: IsDivisible also for INT
- Yes. I think there are probably just two (main) cases:
* @RINGELEM@ and @RINGELEM@
* @INT@ and @INT@
* not so sur... -
15:48 CoCoA-5 Feature #1410: IsDivisible also for INT
- John Abbott wrote:
> I have been caught out by this myself on several occasions. I know one can use @mod@ instead, ... -
13:42 CoCoA-5 Feature #1410 (In Progress): IsDivisible also for INT
- I have been caught out by this myself on several occasions. I know one can use @mod@ instead, but it is more express...
-
13:40 CoCoA-5 Feature #1410 (Closed): IsDivisible also for INT
- In CoCoALib @IsDivisible@ works for various types of value, including integers.
In CoCoA-5, it expects just a @RINGE... -
15:42 CoCoALib Bug #1411 (Closed): IsPrimary sometimes wrong
- This was a duplicate of #1409; server problems in Genoa meant I didn't know/notice that Anna had already resolved thi...
-
14:43 CoCoALib Bug #1411 (Resolved): IsPrimary sometimes wrong
- I think it is OK now.
The problem was in @SparsePolyOps-ideal-ZeroDim.C@ around line 295. The result was computed... -
13:45 CoCoALib Bug #1411 (Closed): IsPrimary sometimes wrong
- The @IsPrimary@ sometimes gives a wrong result.
Here is an instance:... -
15:39 CoCoALib Design #1409 (In Progress): myTestIsPrimary & Co. : fix design
- I fixed this as well. Anyway, we can merge when I'm in Italy (hopefully).
I agree that the use of @myAssignPrimar... -
13:21 CoCoALib Design #1409: myTestIsPrimary & Co. : fix design
- I added the test to @exbugs.cocoa5@
-
13:20 CoCoALib Design #1409: myTestIsPrimary & Co. : fix design
- This was the error, found by Ashkan Nikseresht (nice feedback! thanks!)...
-
12:58 CoCoALib Design #1409 (Closed): myTestIsPrimary & Co. : fix design
- I spent a few hours fixing a bug in...
31 Jan 2020
-
13:57 CoCoA-5 Design #1407: Tagged values (Hilbert Series)
- Done.
The solution I implemented is this. (a bit like public/private functions in C++)
The package $hp, responsibl... -
11:25 CoCoA-5 Design #1407: Tagged values (Hilbert Series)
- Yes, i just want to create a "new" Hilbert series without knowing a generating system of the ring corresponding to it...
-
10:46 CoCoA-5 Design #1407: Tagged values (Hilbert Series)
- Fate wants that I'm facing exactly the same problem!!
And I have a neat idea in mind!
Bernhard: which tags do you... -
10:29 CoCoALib Feature #1395: SHA checksum for released code
- I suppose the GPG signatures give a better guarantee of correctness.
Probably we should try both ways, and see how...
30 Jan 2020
-
14:14 CoCoA-5 Design #1407 (Closed): Tagged values (Hilbert Series)
- Bernhard Andraschko has a new program which calculates Hilbert series.
He would like to make it produce a result com...
29 Jan 2020
-
22:24 CoCoALib Bug #986 (In Progress): GFan: require version newer than 0.6
- *2020-01-28* I have written to Anders. He is willing to put a @GFANLIB_VERSION@ CPP macro in future versions (starti...
-
12:07 CoCoALib Feature #1395: SHA checksum for released code
- I have just stumbled across "GPG" signatures for software. There is a description at @https://www.gnupg.org/gph/en/m...
28 Jan 2020
-
15:56 CoCoA-5 Bug #1406 (New): Poor memory management?
- I tried something like the following:...
-
15:46 CoCoALib Feature #1405: New fn: interreduction
- Julian already has an impl which works for him/
We should decide exact semantics and API.
*After* Vietnam!
-
15:45 CoCoALib Feature #1405 (Closed): New fn: interreduction
- Add a new function to perform interreduction of a list of polys.
Julian already has an impl.
-
15:20 CoCoA-5 Support #1404: Which commands should "terms" be a keyword for?
- hmmm, you are right.
"terms" should be in the keys for support, monomials, coefficients, at least.
-
14:41 CoCoA-5 Support #1404 (In Progress): Which commands should "terms" be a keyword for?
- One possibility is that @?terms@ produces the page for @NumTerms@, but that then in the "see also" section there are ...
-
14:26 CoCoA-5 Support #1404 (Closed): Which commands should "terms" be a keyword for?
- What do you expect the CoCoA-5 manual to respond to the query:...
-
11:57 CoCoA-5 Design #476: Review utility of package IO
- I have implemented a *@fold@* function in CoCoALib, and exported it to CoCoA-5.
I have not implemented a "smart" f... -
10:54 CoCoA-5 Bug #713 (Feedback): External libs: interrupting not easy
- Since this issue was created we have also added @SignalWatcher@ to CoCoALib; so this issue is just as relevant to CoC...
-
10:29 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I think the function that I added is the following...
@(defun cocoa5-send-string (cocoa5-input-line)...)@
I prefe... -
10:15 CoCoA-5 Bug #1384 (Feedback): NewPolyRing and SymbolRange
Also available in: Atom