CoCoA

06 Mar 2020

19:35 CoCoA-5 Bug #755: Find out how to compile statically on linux

Sometimes I engage brain before writing, sometimes I don't... (sigh)
When I build CoCoA-5 on my current Linux box,... John Abbott

15:11 CoCoA-5 Bug #755: Find out how to compile statically on linux

I am now fairly convinced that:
* *default Linux version* should be *without @readline@*
* ideally we also make ava... John Abbott

17:41 CoCoALib Feature #1434 (Closed): GBasisByHomog for DegLex

Done.
I had some problems in finding the correct functions to make the matrix.
I'll write some notes about making t... Anna Maria Bigatti

16:35 CoCoALib Feature #1427: New function: LawrenceMat

John Abbott wrote:
> Any objections to changing the return type to @ConstMatrixView@?
> It seems more "natural/effi... Anna Maria Bigatti

16:07 CoCoALib Feature #1427 (Closed): New function: LawrenceMat

John Abbott

15:48 CoCoALib Feature #1427: New function: LawrenceMat

Any objections to changing the return type to @ConstMatrixView@?
It seems more "natural/efficient" to me than necess... John Abbott

15:43 CoCoALib Feature #1427: New function: LawrenceMat

What is the definition of _Lawrence lifting_?
I found a paper on ArXiV: @arxiv.org/pdf/1508.05461.pdf@ which gives... John Abbott

16:19 CoCoALib Feature #1395: SHA checksum for released code

If we want to do this, we should delay the release a few days, so we can find out what to do.
John Abbott

15:39 CoCoALib Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)

I think there is good reason to make the other version of this function available, incl. the one Anna proposed, namel... John Abbott

12:24 CoCoA-5 Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator

John Abbott

12:23 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator

My testing suggests that this is OK now.
As I wrote in #1438, I now doubt whether it was useful to try to handle "... John Abbott

12:05 CoCoA-5 Bug #1438 (Feedback): ABORT for unterminated string literal

The fix seems reasonable, and some testing suggests that it is working OK.
Now I wonder whether it was even worth ... John Abbott

10:15 CoCoA-5 Bug #1438: ABORT for unterminated string literal

Indeed, my suspicion last night was correct.
Now I am considering how best to fix the code. The fix should be ready... John Abbott

05 Mar 2020

22:56 CoCoA-5 Bug #1438 (In Progress): ABORT for unterminated string literal

The function fo reading a string literal (which I hacked), correctly throws an "unclosed literal" exception when the ... John Abbott

16:42 CoCoA-5 Bug #1438: ABORT for unterminated string literal

May be a consequence of allowing a NUL inside a string?
Surely my fault, anyway :-(
Something to do tonight... sigh! John Abbott

16:41 CoCoA-5 Bug #1438 (Closed): ABORT for unterminated string literal

Sending just a single *@"@* double quote char will crash CoCoA-5.
I hope to fix later... must dash now.
John Abbott

12:03 CoCoA-5 Bug #1303 (Rejected): Manual looking for "?"

As previously written, this is not harmful; and it is better to direct our limited resources elsewhere.
Rejecting ... John Abbott

12:00 CoCoA-5 Support #1350: CoCoA manual: entry for operators, shortcuts

We need to review the purpose of this manual entry.
Maybe it should have little content, but simplify refer to oth... John Abbott

04 Mar 2020

22:32 CoCoA-5 Feature #1399 (Feedback): CoCoA-5 interpreter: idle/busy indicator

John Abbott

22:32 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator

I have changed the main eval loop so that @EmptyStatements@ are skipped over without being executed (since they do no... John Abbott

17:00 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator

My proposed solution does not work quite as I would like.
With the input *@if n = factorial(10^7) then println "eq... John Abbott

22:30 CoCoA-5 Support #1071: LinKerBasis is user-unfriendly

The fn *@LinKerBasis@* is in the manual, but the arg checking is still sloppy. We should fix this!
John Abbott

22:06 CoCoA-5 Bug #660: Emacs UI: endfunc does not indent the line

The important point is that (automatic) indentation works only if the start-keyword is the first text on a line.
T... John Abbott

21:53 CoCoA-5 Bug #660: Emacs UI: endfunc does not indent the line

I confirm that the bug is still there.
Here is a test case:... John Abbott

21:48 CoCoA-5 Support #1214: CoCoAManual: ensure that LaTeX compilation is "clean"

I think the only complaint now is that @PlayCantStop@ is a missing reference.
John Abbott

21:45 CoCoA-5 Support #1298 (In Progress): How can user find the indent command?

I have tried to improve the entry by changing the syntax. Previously it was *@indent(X:OBJECT)@*,
but this meant th... John Abbott

21:33 CoCoA-5 Support #557: CoCoAManual: improve part on input/output

Currently we have *@GetLine@* and *@StandardInput@* and *@OpenIFile@* and *@OpenIString@*.
Is there much more to s... John Abbott

21:31 CoCoA-5 Feature #1174: package of a function --> of an identifier!

As Anna said in comment 2: the function @starting@ is able to get the information. So we should look there to see ho... John Abbott

21:28 CoCoA-5 Bug #669: NUL char in input terminates CoCoA-5

The relevant source code is mostly likely in @Lexer.C@ around lines 136--137.
Inside @Lexer::getToken@ there is a bi... John Abbott

21:19 CoCoA-5 Bug #669: NUL char in input terminates CoCoA-5

A couple of days ago I fixed a similar bug in the reading of string literals.
The problem was that the code checked ... John Abbott

21:13 CoCoA-5 Design #610: Variable It: assign before or after printing

If we make printing interruptible then it would be better to assign to @It@ before printing (o/w the assignment may n... John Abbott

21:02 CoCoALib Feature #1437 (New): Filling matrix row/col from a vector

I noticed in @SparsePolyOps-MinPoly.C@ that there is a function, @CoefficientsInMatCol@, which is very similar to @co... John Abbott

20:59 CoCoALib Feature #1436 (Closed): Flatten for a matrix

I happened to see in @SparsePolyOps-MinPoly.C@ that there is a function for "flattening" a matrix.
Do we want to m... John Abbott

20:30 CoCoA-5 Bug #1435 (New): Disable readline if input is redirected

I was surprised to discover that @./cocoa5 < file.cocoa5@ echoed the contents of @file.cocoa5@.
It turns out that ... John Abbott

19:36 CoCoALib Feature #1434 (Closed): GBasisByHomog for DegLex

This should be easy to fix, hopefully... Anna Maria Bigatti

19:31 CoCoA-5 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz

Postpone?
I always have trouble with normaliz, and I prefer to focus on cocoa things for this release (I need it for... Anna Maria Bigatti

19:29 CoCoA-5 Feature #1373: GFan also for Microsoft?

Postponed. I need to finish the release this week for my course in Genova.
No way I can manage this in time. Anna Maria Bigatti

19:09 CoCoA-5 Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry)

Anna agrees with the proposal to close this issue.
The problems highlighted here are easy to work around (and you ... John Abbott

19:01 CoCoA-5 Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending

John Abbott

16:26 CoCoA-5 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending

This has already been done; see also #672. John Abbott

19:00 CoCoA-5 Support #1404 (Closed): Which commands should "terms" be a keyword for?

Anna accepts. Closing. John Abbott

18:20 CoCoALib Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)

OK, I have chosen *@CoeffVecWRTSupport@*. Changes already made (but not yet checked in).
*NOTE* I prefer not @Co... John Abbott

17:15 CoCoALib Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)

John Abbott wrote:
> Name: *@CoeffVecWRTBasis@* (or @CoeffListWRTBasis@ in CoCoA-5)
I suggest calling it *@Coeff... Anna Maria Bigatti

16:22 CoCoA-5 Slug #1390 (Closed): CoCoA-5 test: radical too slow

John Abbott

16:15 CoCoA-5 Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)

John Abbott

16:14 CoCoA-5 Slug #991: make htmldoc always recreates everything (even if no change was made)

I made the directory @aux-files/GUI-extra_files/@ unreadable using @chmod@. Then @make veryclean@ followed by @make@... John Abbott

15:59 CoCoA-5 Slug #991: make htmldoc always recreates everything (even if no change was made)

John Abbott wrote:
> Not sure who uses *@aux-files/GUI-extra-files/*@* as mentioned in comment 2. Anna???
html. ... Anna Maria Bigatti

15:49 CoCoA-5 Slug #991: make htmldoc always recreates everything (even if no change was made)

I have just now added dependencies for the generation of the LaTeX version; it now depends also on *@aux-files/TeX.xs... John Abbott

15:41 CoCoA-5 Feature #781 (Closed): Option to "fold" long lines?

The current impl fits the KISS philosophy. Since I expect the main use to be *@fold(sprint(value), width)@*, it is n... John Abbott

15:31 CoCoA-5 Bug #672 (Closed): Emacs UI: strange string literal causes crash

I have now modified the regexp so that TAB does not match (and this is considered a "normal" rather than a "funny" ch... John Abbott

15:20 CoCoA-5 Bug #1412 (Resolved): Emacs UI: font size

I have found one bug/slug... The emacs fn *@process-status@* returns a symbol, not a string; so all the previous te... John Abbott

14:41 CoCoA-5 Bug #1224 (Closed): Lexer: unclosed multi-line comment

Some quick tests pass fine. Not worth investing more time here.
Closing.
John Abbott

14:20 CoCoALib Bug #1426 (Closed): Main Makefile: does not rebuild dependencies

John Abbott

14:19 CoCoALib Bug #1416 (Closed): IdealOfProjectivePoints and MinGens

IdealOfProjectivePoints computes GB but cannot determin MinGens.
Neccessary to recompute GBasis with Buchbeger algor... Anna Maria Bigatti

14:17 CoCoALib Feature #1433 (New): HilbertDriven Buchberger Algorithm

just to remember. Anna Maria Bigatti

03 Mar 2020

22:23 CoCoA-5 Bug #1412: Emacs UI: font size

I have made some improvement. Now "send region" should keep the font magnification.
@M-x cocoa5@ definitely forge... John Abbott

22:20 CoCoA-5 Feature #1372: New function: find ?

If we do add a @find@ function, it may be nice to allow it to take a list and a predicate...... John Abbott

22:14 CoCoA-5 Design #990: CoCoA-5 distribution: tidying

Maybe the commands in the script @FIX_PERMS.sh@ can be put into a shell function in @release-common.sh@?
John Abbott

22:07 CoCoA-5 Support #1404 (Feedback): Which commands should "terms" be a keyword for?

I think it is OK now. It's just a little odd that *@len@* appears in the list, but this is probably to help those po... John Abbott

22:04 CoCoA-5 Feature #1367 (In Progress): CoCoA-5.3.0: release linked with more recent version of normaliz

Anna, if you need help with this I can try.
The important thing is to note down what worked in the end.
It would ... John Abbott

21:57 CoCoA-5 Support #1398 (In Progress): Website: hide/delete all the CoCoA-4 stuff?

Right now, my preference is to leave the web pages for CoCoA-4 in existence, but not to publish any link to them.
It... John Abbott

21:51 CoCoALib Bug #1416: IdealOfProjectivePoints and MinGens

There are also some other functions which create a GB without having to calculate it, right?
@IdealOfPoints@, ...
John Abbott

21:26 CoCoALib Bug #1426 (Feedback): Main Makefile: does not rebuild dependencies

Found it, and fixed it.
I had accidentally introduced a race condition. Now it should be fine.
I'll do a little ... John Abbott

20:56 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash

The current impl thinks that a TAB character is a "funny" character; so sending a line containing a TAB will automati... John Abbott

14:48 CoCoA-5 Bug #672 (Feedback): Emacs UI: strange string literal causes crash

I have revised *@cocoa5-send-line@*, and it now seems to work more or less as hoped.
The only remaining problem is... John Abbott

14:10 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash

The relevant part of emacs code is probably the function *@cocoa5-send-line@* around line 1400 in file @cocoa5.el@.
... John Abbott

13:56 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash

As far as I can tell the problem lies inside the std c++ function @getline@ and the way it interacts with @cin@ (whic... John Abbott

17:29 CoCoA-5 Feature #1431: Juxtaposition of string literals

The relevant source code is around line 2100 in @Parser.C@, in the function @Parser::parsePrimary@.
John Abbott

15:14 CoCoA-5 Feature #1431: Juxtaposition of string literals

The soln in @thmproving.cpkg5@ was to have a long succession of @PrintLn@ commands:... John Abbott

15:08 CoCoA-5 Feature #1431 (Rejected): Juxtaposition of string literals

We used to allow this, but then disallowed it in issue #576.
I raise it again because Martin Kreuzer wants to have... John Abbott

16:18 CoCoA-5 Design #1432 (New): Emacs UI: cocoa5-shell-check-process vs. process-status

What is the difference between *@(cocoa5-shell-check-process)@* which uses @get-buffer-process@, and *@(process-statu... John Abbott

11:54 CoCoA-5 Bug #1224 (Resolved): Lexer: unclosed multi-line comment

Surely the unfinished multi-line comment can occur only at the end of the input, so the "end marker" always has to be... John Abbott

02 Mar 2020

22:32 CoCoA-5 Support #692: Local variables hiding out ones at top level

I'm now quite undecided about this.
Every so often I do get a warning about one variable hiding another, but it is... John Abbott

22:10 CoCoA-5 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate

Is this still a problem?
Microsoft Windows 7 is now obsolete... John Abbott

22:05 CoCoA-5 Feature #781 (Resolved): Option to "fold" long lines?

There is now a *@fold@* function for strings which simply inserts a newline every @N@ characters (it does not (curren... John Abbott

21:55 CoCoA-5 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)

I had forgotten about this "entertaining" issue.
I do not really see anything "dangerous" here; the only slightly ... John Abbott

21:45 CoCoA-5 Design #597: Interpreter.C: remove calls to WrongTypeException

What is this issue about?
Why is it a good idea to remove *@WrongTypeException@*?
[I'm not saying it is not a goo... John Abbott

21:42 CoCoA-5 Bug #1303 (In Progress): Manual looking for "?"

So what happens (now) is that the first *@?@* of the search string is discarded.
Presumably *@?<whitespace>?@* is ... John Abbott

21:24 CoCoA-5 Bug #1224: Lexer: unclosed multi-line comment

Is this still a problem?
I do not observe now the problem about everything staying in "comment colour".
The err... John Abbott

21:11 CoCoA-5 Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized

It seems that a useful Emacs keyword is *@revert@*.
There is @auto-revert-mode@ (and a global version).
Another p... John Abbott

20:46 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash

The bug/crash still happens.
Note that by default the CoCoA-5 interpreter is started in Emacs with the option *@--... John Abbott

20:37 CoCoA-5 Bug #669: NUL char in input terminates CoCoA-5

Maybe @parser::tryToRecover@ is where one needs to look?
John Abbott

15:40 CoCoA-5 Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture"

The old Qt4 GUI became a zombie a while ago. I think this issue is now too old be relevant any more.
Rejecting. John Abbott

15:03 CoCoA-5 Slug #991 (Resolved): make htmldoc always recreates everything (even if no change was made)

I think that this has already been done (don't recall when).
In the @Makefile@ in @src/CoCoA-5/CoCoAManual/@ there... John Abbott

14:08 CoCoA-5 Support #1430 (New): HTML manual: search using keywords?

The CoCoA online manual can be searched using keywords; is it possible (or desirable) to do this also for the HTML ve... John Abbott

14:04 CoCoA-5 Support #1350: CoCoA manual: entry for operators, shortcuts

I suggest breaking the page into subsections (or even splitting it into more than one page?): _e.g._ comparison opera... John Abbott

28 Feb 2020

17:52 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5

documented Anna Maria Bigatti

17:37 CoCoA-5 Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5

Anna Maria Bigatti

17:08 CoCoA-5 Design #1120 (Closed): Web site

All other things will be done as they arise, in their own page.
Anna Maria Bigatti

16:44 CoCoA-5 Bug #1429: Stack overflow reading long list (SEGV)

Yes, of course, inputting explicitly the long list of integers is not commonplace.
But it is embarrassing that CoCoA... John Abbott

16:37 CoCoA-5 Bug #1429 (New): Stack overflow reading long list (SEGV)

On my computer @CoCoAInterpreter@ generates a SEGV if I give as input a long list, namely... John Abbott

10:09 CoCoALib Feature #206: Matrix equation solving: LinKer

I have implemented *@LinKerZZ@* simply by copying the old code from @TmpFactorDir/linalg/Zkernel.c@
The new code pro... John Abbott

10:06 CoCoALib Feature #1306: exgcd over integers (ZZ)

Currently it returns just the cofacs. I had hoped to avoid an include directive in the header file... not so easy.
... John Abbott

09:47 CoCoALib Design #1428 (New): DenseMatrix: use template impl for ctors from vec-vec?

There are 4+4 very similar impls for creating a @DenseMatrix@ from a @vector<vector<STHG>>@.
Consider using a templa... John Abbott

27 Feb 2020

21:05 CoCoALib Feature #1306 (In Progress): exgcd over integers (ZZ)

I have a first (untested) prototype. Maybe I'll test it tomorrow... too late now.
John Abbott

18:37 CoCoALib Feature #1427 (Feedback): New function: LawrenceMat

Done. Tested, Documented. Checking in. Anna Maria Bigatti

17:30 CoCoALib Feature #1427: New function: LawrenceMat

essentially done
now testing
Anna Maria Bigatti

16:25 CoCoALib Feature #1427 (Closed): New function: LawrenceMat

Bring LawrenceMat into CoCoALib.
Currenly hidden in @toric.cpkg5@ Anna Maria Bigatti

18:36 CoCoA-5 Feature #1243 (Feedback): New function: Read a string into a list (of RingElem) -- CoCoA-5

Anna Maria Bigatti

18:04 CoCoALib Feature #206: Matrix equation solving: LinKer

What is the status of this issue? Surely more than 30% complete?
John Abbott

14:55 CoCoALib Feature #1210 (Resolved): New Fn: make public "coefficients" (of poly wrt a given PP basis)

Name: *@CoeffVecWRTBasis@* (or @CoeffListWRTBasis@ in CoCoA-5)
I have a first (KISS) impl: it takes 2 RingElem, a... John Abbott

11:50 CoCoALib Feature #1197 (In Progress): IsZeroDet: new fn

I have just made a very simplistic first impl: it simply computes the det, and checks whether it is zero. (also chec... John Abbott

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 :-(
John Abbott

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.
John Abbott

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... John Abbott

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 *... John Abbott

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... John Abbott

17:18 CoCoA-5 Support #1333 (Resolved): Typevectors

Mostly done.
Tested by Yong-Su Shin Anna Maria Bigatti

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 ... John Abbott

16:50 CoCoA-5 Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)

John Abbott

16:32 CoCoA-5 Feature #1289 (Closed): assert-function for cocoa5

John Abbott

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. Anna Maria Bigatti

16:27 CoCoA-5 Bug #1421 (Closed): SEGV: error("")

John Abbott

16:24 CoCoA-5 Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation

Anna has checked everything on her computer. Works fine.
Closing.
John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

12:12 CoCoA-5 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation

Here is a test for both ideals and modules....... John Abbott

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.
John Abbott

15:51 CoCoA-5 Design #1425 (New): MakeTerm: implement in C++

Currently *@MakeTerm@* is implemented in @cocolib.cpkg5@.
Move it into C++.
John Abbott

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@*.
John Abbott

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... John Abbott

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@ ... John Abbott

21:36 CoCoA-5 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation

I confirm the bug in 5.2.9.
John Abbott

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... Julian Danner

18:28 CoCoALib Feature #1212: New function: GBasisByHomog

Urgent: DegLex (should be easy) Anna Maria Bigatti

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... John Abbott

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... Anna Maria Bigatti

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... John Abbott

17:19 CoCoALib Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog

The following is annoying:... John Abbott

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... Anna Maria Bigatti

16:07 CoCoA-5 Bug #1420 (Resolved): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT

Anna Maria Bigatti

11:16 CoCoA-5 Support #1386: IsIndetPosPower: behaviour and manual page

Added a CooA-5 manual page.
John Abbott

24 Feb 2020

16:56 CoCoA-5 Bug #1335 (Closed): ManExamples: some problems

Closing, as I believe the current arrangement is acceptable.
John Abbott

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... John Abbott

14:50 CoCoA-5 Support #1387 (Closed): John's visit Feb 2020

John Abbott

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... John Abbott

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... John Abbott

13:01 CoCoA-5 Feature #1415: thmproving package

I think @thmproving.cpkg5@ is OK, but the documentation needs to be checked and properly integrated.
John Abbott

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... John Abbott

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.
... John Abbott

20 Feb 2020

17:06 CoCoA-5 Bug #1421: SEGV: error("")

... John Abbott

17:03 CoCoA-5 Bug #1421 (In Progress): SEGV: error("")

Not pretty!!... John Abbott

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... John Abbott

16:58 CoCoA-5 Support #1404: Which commands should "terms" be a keyword for?

This is what I get at the moment:... John Abbott

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... John Abbott

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... John Abbott

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! John Abbott

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... John Abbott

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... John Abbott

19 Feb 2020

11:46 CoCoA-5 Feature #1415: thmproving package

Remove thmproving from RelNotes!
John Abbott

11:43 CoCoA-5 Feature #1236 (Closed): Add "socket" devices

I have just tested, and slightly modified the manual.
Closing.
John Abbott

11:31 CoCoA-5 Feature #1316 (Closed): Matrix row reduction (rref)

John Abbott

11:29 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator

Perhaps see also issue #1236 to see how I implemented sockets...
John Abbott

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...
John Abbott

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:... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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?
John Abbott

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... John Abbott

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... John Abbott

14:54 CoCoA-5 Support #1387: John's visit Feb 2020

Visit is over. We managed to do most things :-)
Closing. John Abbott

14:51 CoCoA-5 Feature #1316 (Feedback): Matrix row reduction (rref)

Removed old impl. Added doc and test.
John Abbott

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.
John Abbott

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.
John Abbott

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... John Abbott

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 ... John Abbott

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 ... John Abbott

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... John Abbott

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:
... John Abbott

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???
John Abbott

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... John Abbott

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.
John Abbott

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? John Abbott

10:30 CoCoA-5 Support #1418 (New): Manual entry for NewPolyRing

Make the manual entry for *@NewPolyRing@* easier to understand.
John Abbott

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.
John Abbott

10:23 CoCoA-5 Feature #1372: New function: find ?

@find@ may also behave in a "slightly unexpected" way:... John Abbott

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... John Abbott

17:27 CoCoA-5 Support #1386 (Closed): IsIndetPosPower: behaviour and manual page

Now it gives @false@.
Added test to @test-bug3.C@.
John Abbott

17:10 CoCoA-5 Bug #1286 (Closed): Website: trouble with the world map

John Abbott

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... Anna Maria Bigatti

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... Anna Maria Bigatti

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 ... Anna Maria Bigatti

14:01 CoCoALib Design #1391 (Resolved): RingElems: syntax with [ and ] ?

Made it more robust with empty list. Anna Maria Bigatti

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. Anna Maria Bigatti

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.
John Abbott

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@.
John Abbott

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... John Abbott

10:58 CoCoALib Design #1409 (Closed): myTestIsPrimary & Co. : fix design

Appears to work now. Closing.
John Abbott

10:54 CoCoA-5 Support #1311 (Closed): THINGS TO DO IN GENOVA September 2019

John Abbott

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?
John Abbott

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... John Abbott

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.
John Abbott

10:48 CoCoA-5 Support #1315 (Closed): Manual entry about reporting bugs?

final minor polishing.
Anna Maria Bigatti

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... John Abbott

09:33 CoCoALib Bug #1416: IdealOfProjectivePoints and MinGens

and this doesn't.... Anna Maria Bigatti

09:18 CoCoALib Bug #1416 (In Progress): IdealOfProjectivePoints and MinGens

The following works:... John Abbott

09:00 CoCoALib Bug #1416 (Closed): IdealOfProjectivePoints and MinGens

Juan Migliore found this weird bug:... Anna Maria Bigatti

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... John Abbott

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... John Abbott

13 Feb 2020

18:59 CoCoA-5 Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing

John Abbott

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 ... John Abbott

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.
... John Abbott

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... John Abbott

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.
John Abbott

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... John Abbott

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... John Abbott

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. Anna Maria Bigatti

16:09 CoCoA-5 Bug #1385 (Closed): valgrind: reports 456byte leak

John Abbott

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.
John Abbott

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.
John Abbott

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... John Abbott

15:44 CoCoA-5 Support #1368 (Closed): Improve manual for mod

John Abbott

15:40 CoCoA-5 Design #1352 (Closed): cocoa5 (launch) script: sleep time

John Abbott

15:40 CoCoA-5 Feature #1410 (Closed): IsDivisible also for INT

manual done Anna Maria Bigatti

10:19 CoCoA-5 Feature #1410: IsDivisible also for INT

done... Anna Maria Bigatti

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... John Abbott

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... John Abbott

15:27 CoCoA-5 Feature #1415 (In Progress): thmproving package

Port old CoCoA-4 package *@thmproving@* to CoCoA-5. John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

14:04 CoCoA-5 Bug #1412: Emacs UI: font size

See comment 6 in issue #1358. I think it might be relevant here.
John Abbott

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.
John Abbott

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... John Abbott

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... John Abbott

10:55 CoCoALib Support #1338 (In Progress): Release CoCoALib-0.99700

John Abbott

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@ ... John Abbott

10:09 CoCoA-5 Bug #1230 (Closed): PrimaryDecomposition with lex ordering

I have added the example to @exbugs.cocoa5@
Closing!
John Abbott

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? Anna Maria Bigatti

10:09 CoCoALib Feature #958: New function: multiplicity and dim

Yet to be fixed: non homogeneous input.
(postponed again) Anna Maria Bigatti

09:35 CoCoA-5 Design #1327 (Closed): Inconvenient PolyRingHom, PolyAlgebraHom

Anna Maria Bigatti

09:30 CoCoA-5 Bug #1383 (Closed): NewPolyRing on MS Windows

Anna Maria Bigatti

09:29 CoCoA-5 Bug #1384 (Closed): NewPolyRing and SymbolRange

Anna Maria Bigatti

09:26 CoCoA-5 Bug #1273 (Closed): NewPolyRing and SymbolRange together make a crash

Anna Maria Bigatti

12 Feb 2020

18:17 CoCoALib Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?

Anna Maria Bigatti

16:39 CoCoALib Design #1184 (Feedback): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?

Anna Maria Bigatti

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... Anna Maria Bigatti

18:14 CoCoALib Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog

Removed all calls to clog. Replaced with VERBOSE. Anna Maria Bigatti

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... John Abbott

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... John Abbott

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... John Abbott

16:11 CoCoALib Support #1161 (Closed): Split NumTheory.C into several smaller files

John Abbott

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... John Abbott

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.
John Abbott

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... John Abbott

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, ... Anna Maria Bigatti

15:26 CoCoALib Feature #1277 (Closed): Gaussian row reduction

I have added a test to @test-matrix2.C@.
John Abbott

15:17 CoCoALib Feature #1277 (Feedback): Gaussian row reduction

Now documented. CoCoALib and CoCoA-5.
Do we really need a test?
John Abbott

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... John Abbott

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... John Abbott

14:51 CoCoALib Design #1414 (In Progress): Make class RingElemVector?

I have a personal test implementation called @ex-RingElemVector.C@ Anna Maria Bigatti

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)... Anna Maria Bigatti

14:43 CoCoALib Feature #357 (Rejected): Constructor for vectors? CoCoAVector

Discussed in person, and agreed to *reject* it. Anna Maria Bigatti

09:35 CoCoALib Slug #1238 (Closed): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead

checked-in. Anna Maria Bigatti

09:07 CoCoALib Slug #1238 (Feedback): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead

Anna Maria Bigatti

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... Anna Maria Bigatti

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... John Abbott

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!!! Anna Maria Bigatti

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... John Abbott

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... John Abbott

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... John Abbott

13:13 CoCoALib Design #1413 (Closed): configure script: MODE option obsolete?

After discussing with Anna, I have removed the obsolete option *@--mode@*.
John Abbott

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... John Abbott

12:22 CoCoALib Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist

John Abbott

12:09 CoCoALib Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks

Improved doc with Anna's help. Closing.
John Abbott

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!... John Abbott

06 Feb 2020

18:45 CoCoA-5 Bug #1412: Emacs UI: font size

same here!
Anna Maria Bigatti

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... John Abbott