CoCoA

31 Oct 2020

09:04 CoCoALib Design #1529 (Closed): INPUT questions

I have some questions about what inputs should be accepted.
*(1)* when reading a @BigRat@ we accept <Integer-liter... John Abbott

30 Oct 2020

20:49 CoCoA-5 Support #1498 (Feedback): Export many names or just one?

I have changed the impl so that only a single name after @export@ is expected.
Amazingly it compiled first time, and... John Abbott

20:20 CoCoALib Design #1523: Input fns: action when when istream is in bad state?

Checked in, but not @symbol.C@.
John Abbott

19:54 CoCoALib Design #1523: Input fns: action when when istream is in bad state?

The function @symbol::myInput@ reports an error by setting the channel state (@failbit@) rather than throwing an exce... John Abbott

19:46 CoCoALib Design #1523 (Resolved): Input fns: action when when istream is in bad state?

I have added checks to all input fns so that an exception is thrown if the istream is not in a good state when called... John Abbott

19:24 CoCoALib Design #1523 (In Progress): Input fns: action when when istream is in bad state?

After discussion with Anna, we have decided that it is more helpful if an exception is thrown if the @istream@ is not... John Abbott

20:20 CoCoA-5 Feature #1509: RingElems with empty input

Checked in.
John Abbott

19:58 CoCoA-5 Feature #1509 (Feedback): RingElems with empty input

I have also implemented @RingElemVec@ (even though Anna did not want it).
I'll check in so we can test it.
John Abbott

16:11 CoCoA-5 Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries

Possibly add the year
Anna Maria Bigatti

15:59 CoCoALib Slug #1518: SLUG: Printing PPs with many indets

Anna suggest using a virtual fn for printing which is specialized in PPMs which can have big exps.
JAA will think ... John Abbott

15:33 CoCoALib Design #601 (In Progress): LongRange: in which file should it be declared/defined?

Anna is uneasy about making a header file for just a single function.
Ideally, there could be some other similar fun... John Abbott

15:19 CoCoALib Support #861 (Feedback): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)

Anna says it compiled cleanly now.
JAA: must remove the commented out code.
John Abbott

15:15 CoCoALib Design #1528 (Closed): MacOS compilation with clang

Try to clean out clang compilation Anna Maria Bigatti

14:51 CoCoALib Bug #1484: ker bug (quotientinghom for R/ideal())

For me: test, and add CoCoALib tests Anna Maria Bigatti

12:02 CoCoA-5 Bug #1527 (In Progress): Inadequate error message on incorrect list access

The relevant function seems to be *@IndexedAccessExpression::implEval@* in @Interpreter.C@ around lines 3677--3695.
... John Abbott

10:19 CoCoA-5 Bug #1527 (Closed): Inadequate error message on incorrect list access

When trying to access a list using another list, the error message seems to be incorrect.
Here is an example:
<pr... Julian Danner

11:08 CoCoALib Support #1494 (Closed): Normaliz 3.8.9

John Abbott

29 Oct 2020

22:03 CoCoA-5 Feature #1509: RingElems with empty input

I do not think it is dangerous.
We cannot easily compare with C++ input via the @>>@ operator since that reads int... John Abbott

15:57 CoCoA-5 Feature #1509: RingElems with empty input

John Abbott wrote:
> We could add the following at the start of @RingElems@ (in @RingElemInput:C:278@)
> if (in.e... Anna Maria Bigatti

21:51 CoCoALib Slug #1170 (Closed): SmoothFactor: slow when a factor is found

The current impl is acceptable for the time being; out efforts need to be directed elsewhere.
Closing.
John Abbott

21:48 CoCoALib Design #1279 (Closed): Tidy up code for matrix determinant

The current version is acceptable; it could be made better, but there are plenty of other more important issues (at t... John Abbott

21:44 CoCoALib Design #1463 (Closed): SmoothFactor: use FactorMultiplicity

John Abbott

21:30 CoCoALib Design #1463: SmoothFactor: use FactorMultiplicity

I have fixed the bug: part of the code incorrectly assumed that the base was a prime number... ooops! (probably an o... John Abbott

15:13 CoCoALib Design #1463: SmoothFactor: use FactorMultiplicity

@FactorMultiplicity(3^39,factorial(21))@ goes into infinite loop :-/
It gets worse...
@FactorMultiplicity(9, fact... John Abbott

15:10 CoCoALib Design #1463: SmoothFactor: use FactorMultiplicity

Oh no! I have hit a bug:... John Abbott

21:42 CoCoALib Support #1196 (Closed): Split MatrixOps

The current situation is acceptable. Further splitting might be a good idea at some point, but it is not so importan... John Abbott

21:36 CoCoALib Feature #1436 (Closed): Flatten for a matrix

John Abbott

18:18 CoCoA-5 Design #1525 (In Progress): CoCoA Manual: homogenize obsolete/obsolescent entries

Done up to letter P Anna Maria Bigatti

17:50 CoCoA-5 Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries

This is how the renamed ones should look like... Anna Maria Bigatti

17:04 CoCoA-5 Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries

The section "see also" is handy only for the online version.
Remove them.
Think of an easy way to call the manual... Anna Maria Bigatti

17:01 CoCoA-5 Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries

I'm cleaning the manual for a homogeous straightforward style for obsolete/obsolescent entries.
Mainly it should jus... Anna Maria Bigatti

17:43 CoCoA-5 Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?

Make it possible to get the manual for a selected string.
In the file buffer it is C-c C-h and it is also in the m... Anna Maria Bigatti

15:01 CoCoALib Design #1460 (Closed): Name of TensorMat; change to KroneckerProd?

This has been in feedback for a month or so. CLosing:
Conclusion: fn name changed @KroneckerProd@, impl creates n... John Abbott

14:52 CoCoALib Slug #1518: SLUG: Printing PPs with many indets

Here is a guess as to why the observed times are as they are:
with @myBigExponents@ the ctor for @BigInt@ is called ... John Abbott

14:47 CoCoALib Design #601: LongRange: in which file should it be declared/defined?

What about *@utils-LongRange@*?
This name should also make it clear why the file is included.
John Abbott

14:43 CoCoALib Slug #1517 (In Progress): RandomLinearForm

The empirical complexity appears to be quadratic. Here is my test:... John Abbott

14:26 CoCoALib Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)

Since we are no longer guaranteeing pre-C++11 compatibility, we can remove from Mario's code all @#if@ trickery relat... John Abbott

13:49 CoCoA-5 Support #1498: Export many names or just one?

This is a marginal issue, but we have two contrasting things (and now we know it ;-) ), so we should make a decision.... Anna Maria Bigatti

13:21 CoCoA-5 Support #1498: Export many names or just one?

The relevant source code is in @Parser.C@ from line 556 to 595.
It is surprisingly long; allowing just a single nam... John Abbott

13:46 CoCoALib Design #1465: mul(MAT,MAT,MAT)

Perhaps it could make sense to have a version of *@mul(mat,mat,mat)@* which is deliberately not exception safe (but a... John Abbott

13:43 CoCoALib Design #1125: Separate install script for CoCoALib?

Ideally the installation process should also make available an easy way to uninstall the installed stuff.
We also ... John Abbott

13:32 CoCoALib Feature #1349: ideal ctor where given gens are a gbasis

There are already fns *@IdealOfGBasis@* and *@SetGBasisAsGens@*. Where is the doc for the 2nd fn?
Despite some in... John Abbott

10:36 CoCoALib Feature #142: Improve threadsafety

I propose the following new names:
* *@--allow-non-threadsafe@* for the @configure@ script
* *@CoCoA_ALLOW_NON_THRE... John Abbott

28 Oct 2020

23:17 CoCoALib Bug #1331 (Closed): adj: for matrices 7x7 and bigger

John Abbott

23:12 CoCoA-5 Bug #1524 (In Progress): wrong SystemCommand exit value

According to cppreference, the return value of @std::system@ is _implementation defined._
The CoCoA manual was too s... John Abbott

09:56 CoCoA-5 Bug #1524 (Closed): wrong SystemCommand exit value

I just noticed that @SystemCommand@ returns incorrect exit values, in particular the returned value is ´exit_val * 25... Julian Danner

27 Oct 2020

19:17 CoCoALib Feature #645 (In Progress): Automatic mapping of RingElem: user selectable at run-time (GlobalManager?)

At the moment all fns which allow automatic promotion of ringelems call the function *@AutomaticConversionHom@*.
I... John Abbott

19:11 CoCoA-5 Design #635 (Resolved): Automatic mapping of RingElem (in operation with a compound value)

I have changed the impl so that there is no auto promotion for matrices.
The example in comment 1 now gives... John Abbott

18:51 CoCoA-5 Design #635: Automatic mapping of RingElem (in operation with a compound value)

I must change the impl so that only the ringelem gets mapped. To map the matrix one must make an explicit call.
O... John Abbott

19:08 CoCoA-5 Feature #1461 (Closed): Automatic mapping for multiplication?

As suggested in comment 10 above, I have copied the "done list" and the "todo list" to issue #7.
Closing this issue ... John Abbott

19:05 CoCoA-5 Feature #7: Automatic mapping between (some) rings

Here are done list and todo list copied from issue #1461 comments 7 & 8. Moving them here.
*DONE LIST*
* @Matri... John Abbott

18:43 CoCoA-5 Feature #7: Automatic mapping between (some) rings

*I have decided to make this the "master issue" for questions related to automatic ring conversion* (mainly because i... John Abbott

18:40 CoCoA-5 Design #1493 (Feedback): Automatic ring mapping in assignment?

I have revised the manual entry for @matrix@. I did note that in the examples @mat@ is used rather than @matrix@ -- ... John Abbott

18:15 CoCoA-5 Design #637 (Closed): Undesirable consequence of automatic mapping of RingElems?

*Conclusion: no automatic mapping of ringelems in equality tests*
A user working in several rings at once has to s... John Abbott

18:01 CoCoALib Design #1515 (Rejected): Indets in coeffring are ringelems in coeffring?

*I am rejecting this because of the example in comment 3 above.*
I have also rejected the duplicate issue #636.
John Abbott

17:59 CoCoA-5 Design #636 (Rejected): Distinguish indets from symbols in coeffring in Use command

I am rejecting this. This issue is essentially duplicated in #1515.
*Main reason for rejection is in comment 3 of... John Abbott

15:56 CoCoALib Slug #1518: SLUG: Printing PPs with many indets

I have just tried again but with @SmallExponent_t@ being @unsigned short@ (previously it was @unsigned int@).
Printi... John Abbott

15:21 CoCoALib Slug #1518: SLUG: Printing PPs with many indets

I have just repeated the experiment, but in CoCoALib. This is the test program:... John Abbott

15:26 CoCoALib Design #1085: Fns with "OUT" args: should they give ERR::MixedRings?

This issue is a generalized version of issue #1500 (which itself is concerned with the example in comment 1 of this i... John Abbott

10:34 CoCoALib Feature #142: Improve threadsafety

I changed @SmartPtrIRC@ so that an @std::atomic<std::size_t>@ is used for the ref count instead of @std::size_t@.
I ... John Abbott

26 Oct 2020

21:38 CoCoALib Feature #1483 (Closed): IsPowerOf2 for rationals

John Abbott

21:37 CoCoALib Feature #1457 (Closed): Make SmoothFactor interruptible

John Abbott

20:20 CoCoALib Slug #1518: SLUG: Printing PPs with many indets

I have just tried modifying the impl (@PPMonoid.C@ around lines 215--230, @PPMonoidBase::myOutput@).
The modified ve... John Abbott

20:06 CoCoALib Slug #1518: SLUG: Printing PPs with many indets

Here is a reference test:... John Abbott

16:59 CoCoALib Slug #1518 (In Progress): SLUG: Printing PPs with many indets

I propose the following revision to the design:
* *(A)* each @PPMonoid@ has a fn which says whether it can handle on... John Abbott

19:49 CoCoALib Bug #1522: SEGV: avoid long linked lists of loaves in MemPools

I now think it is probably a good idea to abandon the current design with explicit "NextLoaf" pointers (currently @s... John Abbott

17:07 CoCoALib Bug #1522: SEGV: avoid long linked lists of loaves in MemPools

I think I have found the cause... it is in "invisible code" written by the compiler. The invisible code is correct, ... John Abbott

14:38 CoCoALib Bug #1522: SEGV: avoid long linked lists of loaves in MemPools

Ahhh! Perhaps I should have guessed: @valgrind@ reports that the problem is *@stack overflow@*.
Now, why are we usi... John Abbott

13:53 CoCoALib Bug #1522: SEGV: avoid long linked lists of loaves in MemPools

I got a SEGV with debugging on and MemPool disabled. Let's see what valgrind says...
BTW it was even slightly faste... John Abbott

13:08 CoCoALib Bug #1522 (In Progress): SEGV: avoid long linked lists of loaves in MemPools

Triggered by the example from issue #1514.
The SEGV seems to arise during destruction at the end of the program!
... John Abbott

13:00 CoCoALib Bug #1522 (Closed): SEGV: avoid long linked lists of loaves in MemPools

See comment 4 below, where I understand the root cause.
Original report:
I get a SEGV reading about 4500 random l... John Abbott

19:45 CoCoALib Feature #142: Improve threadsafety

I now think that it is probably better to default to threadsafe code; the user must configure with "not threadsafe" t... John Abbott

19:41 CoCoALib Design #1523: Input fns: action when when istream is in bad state?

If we do follow this recommendation, which files must be considered?
* @RingElemInput@
* @BigInt@ and @BigRat@?
* ... John Abbott

14:35 CoCoALib Design #1523: Input fns: action when when istream is in bad state?

At the moment my preference is to recommend (strongly) that input fns immediately check whether the @istream@ is not ... John Abbott

14:31 CoCoALib Design #1523 (Closed): Input fns: action when when istream is in bad state?

Output fns in CoCoALib check whether the @ostream@ is in a bad state, and if so, return without doing anything more.
... John Abbott

19:39 CoCoA-5 Feature #1509 (Resolved): RingElems with empty input

I have improved (??) the code. It should give better err mesgs now. Here are some examples:... John Abbott

12:26 CoCoALib Support #1499 (Closed): factorization: allow zero as exponent?

*FINAL DECISION:*
* do not allow 0 multiplicity (will throw an exception)
* do not allow factorization objects over... John Abbott

12:08 CoCoA-5 Bug #1514 (Feedback): Cocoa crashes when calling RingElems

A temporary workaround for Julian is probably the following:
* obtain the CoCoA sources, modify @include/CoCoA/confi... John Abbott

09:56 CoCoA-5 Bug #1514: Cocoa crashes when calling RingElems

I was not able to get the information I wanted from @valgrind@ (probably my fault).
After some thinking (but less ... John Abbott

12:06 CoCoALib Slug #1521: Unexpectedly slow example with larger types for SmallExponent_t

See note 5 in issue #1514.
John Abbott

12:05 CoCoALib Slug #1521 (New): Unexpectedly slow example with larger types for SmallExponent_t

I tried Julian's example from issue #1514 using smaller types for @SmallExponent_t@, and found that it was significan... John Abbott

11:49 CoCoA-5 Feature #1516: substring function

The C++ substring function has the following interface:
* @substr(str,n)@ the substring starting at the n-th posn u... John Abbott

10:38 CoCoALib Bug #1473: isystem not working as expected

I have done a little checking.
*The GMP header is automatically C++ safe:* it contains all necessary @extern "C"@ ... John Abbott

10:15 CoCoA-5 Design #1508: Initial ring

Presumably the CoCoA-5 interpreter has a function which performs the command *@source@*. If this function can accept... John Abbott

10:10 CoCoA-5 Design #1519: Interpreter fn Value::from can use std::move?

The template function for lists (of all sorts) is actually called @LIST::LIST@... mmm, is that a ctor?
It is defined... John Abbott

09:54 CoCoA-5 Design #1519 (New): Interpreter fn Value::from can use std::move?

Investigate whether the template fn @Value::from@ (see @Interpreter.H@ around lines 1422--1442) can avoid copying by ... John Abbott

10:07 CoCoA-5 Design #1520: Replace BOOST_FOREACH by new C++14 range for syntax

Low priority because the current code works (but I would like to reduce dependency on BOOST).
This is likely to be... John Abbott

10:04 CoCoA-5 Design #1520 (Closed): Replace BOOST_FOREACH by new C++14 range for syntax

The CoCoA-5 interpreter uses @BOOST_FOREACH@ in several places; I think the C++14 "range" @for@ syntax is essentially... John Abbott

23 Oct 2020

20:48 CoCoA-5 Bug #1514: Cocoa crashes when calling RingElems

MemPool causes a SEGV! 8-O
I'll try without MemPool... if I can remember how.
*ANS:* configure with @--thread... John Abbott

15:56 CoCoA-5 Bug #1514: Cocoa crashes when calling RingElems

I have just made a first run with debugger/profiler --> SEGV
Ooops!
John Abbott

12:19 CoCoA-5 Bug #1514: Cocoa crashes when calling RingElems

I have modified the test program so that it first generates a list of random linear forms (and then prints it).
Wi... John Abbott

10:10 CoCoA-5 Bug #1514 (In Progress): Cocoa crashes when calling RingElems

I have just recompiled CoCoALib to use @unsigned char@ as exponent type.
The program ran noticeably faster: about 3 ... John Abbott

09:22 CoCoA-5 Bug #1514: Cocoa crashes when calling RingElems

The test example as in the description took about 7 mins to generate the 20Mbyte file. That is disappointingly slow ... John Abbott

16:36 CoCoALib Slug #1518: SLUG: Printing PPs with many indets

According to the profiler: printing 250 polys each with about 500 terms (@RandomLinearForm@ from polyring with 1000 i... John Abbott

16:32 CoCoALib Slug #1518 (In Progress): SLUG: Printing PPs with many indets

It seems that printing polys in polyrings with many indets is slower than I would like: the example from issue #1514 ... John Abbott

16:22 CoCoALib Slug #1517: RandomLinearForm

It could be that the problem is simply copying lots of PPs (each occupying 4000 bytes).
Could the memory manager be ... John Abbott

16:21 CoCoALib Slug #1517 (Closed): RandomLinearForm

The profiler tells me that @RandomLinearForm@ spends most (almost all!) of its time in @operator+=@.
If the indets... John Abbott

16:08 CoCoA-5 Design #1508: Initial ring

I like Anna's suggestions:
* by default start with the initial ring @QQ[x,y,z]@ (why should it be assigned to a var... John Abbott

10:00 CoCoA-5 Design #1508: Initial ring

I vote for *(A)* Right after the banner print a message saying what the current ring is
Cleanliness would demand h... Anna Maria Bigatti

10:57 CoCoALib Design #1500 (Closed): IsDivisible in a field?

John Abbott

10:31 CoCoALib Bug #1473: isystem not working as expected

I wonder if we should be using @extern "C"@ when including the gmp header (but not the gmpxx header). -- *NO!!* (see ... John Abbott

10:07 CoCoALib Bug #1473: isystem not working as expected

Still problematic... Anna Maria Bigatti

10:23 CoCoA-5 Feature #1516: substring function

This ought to be very easy: I am sure that C++ already has such a function.
I came across the problem while lookin... John Abbott

10:21 CoCoA-5 Feature #1516 (Closed): substring function

Proposal: a new function to extract a substring.
Syntax would be something like @substr(str, start, end)@ where ind... John Abbott

09:59 CoCoA-5 Feature #1509: RingElems with empty input

Ah, me too. I have just checked in my code... oddly, there were no clashes. What does that mean?
John Abbott

09:33 CoCoA-5 Feature #1509: RingElems with empty input

Fixed in @RingElemInput.C@, therefore also for CoCoALib. Anna Maria Bigatti

09:01 CoCoALib Design #1515 (In Progress): Indets in coeffring are ringelems in coeffring?

*I am increasingly convinced that this is not a good idea.* The example in comment 3 is already fairly convincing.
... John Abbott

22 Oct 2020

17:32 CoCoALib Design #1515: Indets in coeffring are ringelems in coeffring?

This is almost a duplicate of issue #636. John Abbott

17:29 CoCoALib Design #1515: Indets in coeffring are ringelems in coeffring?

The proposed change might be inconvenient in view of issue #637: the equality test @x = a@ would throw a @MixedRings... John Abbott

17:23 CoCoALib Design #1515 (Rejected): Indets in coeffring are ringelems in coeffring?

A suggestion (but maybe not a good one).
Now that we have some degree of automatic ringelem conversion, we could say... John Abbott

17:17 CoCoA-5 Design #635: Automatic mapping of RingElem (in operation with a compound value)

Clarification: the example in comment 1 does indeed run, but the resulting matrix is over @P@ not @K@.
To obtain a m... John Abbott

17:10 CoCoA-5 Feature #1461: Automatic mapping for multiplication?

I suggest closing this issue, and copying any unresolved parts into issue #7.
It would be nice to have issue #7 as t... John Abbott

17:08 CoCoA-5 Design #637: Undesirable consequence of automatic mapping of RingElems?

I now suggest that we make equality-test throw an error (@MixedRings@) if the args are elements of two different ring... John Abbott

16:55 CoCoALib Feature #222: Printing polynomials - spaces between terms

Idle for more than 6 years: perhaps because there is no clear answer, and implementation might be tricky :-/
John Abbott

16:48 CoCoALib Support #256: Improve doc about ordering/grading for poly rings

I have just added to @SparsePolyRing.txt@ that the default term ordering is @StdDegRevLex@ (should we give an explic... John Abbott

16:42 CoCoA-5 Bug #1514 (Closed): Cocoa crashes when calling RingElems

Hi,
I have a large polynomial system that has to be read from a file. In order to do so, I load all the polys as c... Julian Danner

21 Oct 2020

13:56 CoCoA-5 Feature #1509 (In Progress): RingElems with empty input

We could add the following at the start of @RingElems@ (in @RingElemInput:C:278@)... John Abbott

13:38 CoCoALib Slug #897: SimplestBigRatBetween: why is it so slow?

I replaced used of @BigRat@ (field @myFrac@) inside @ContFracIter@ by a pair of @BigInt@ values (@myNum@ & @myDen@).
... John Abbott

20 Oct 2020

18:05 CoCoA-5 Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis?

Now I'd have a slight preference in keeping the current name (it is convenient as it emphasise the "HilbertBasis" str... Anna Maria Bigatti

17:44 CoCoA-5 Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis?

Is this a quick issue? If so, is it worth finishing it quickly?
John Abbott

18:05 CoCoA-5 Slug #875: Interpreter is too slow reading a big polynomial

A better workaround is to use @sum([...])@.
I have just tried a test of the form:... John Abbott

17:50 CoCoA-5 Support #916: use command: unhelpful error if you use := instead of ::=

The relevant source code seems to be @Parser::parseUseStatement@ around line 356 in @Parser.C@.
What should the b... John Abbott

17:12 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

I have checked in my prototype... hope it is a good one! John Abbott

15:33 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

I have tried testing with the current public version of CoCoA-5 for linux: it fails because the interpreter does not ... John Abbott

11:58 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

I now have a new @cocoa5@ script for GNU/linux. I have developed it "blind", so it probably does not work correctly ... John Abbott

12:59 CoCoALib Slug #897: SimplestBigRatBetween: why is it so slow?

Here is the speed test I used:... John Abbott

11:39 CoCoALib Slug #897: SimplestBigRatBetween: why is it so slow?

I have now put special handling in for reciprocals, and the code runs a bit faster.
Probably the best solution wou... John Abbott

19 Oct 2020

19:59 CoCoA-5 Design #1508 (In Progress): Initial ring

*A relevant line in the source code* is @Interpreter.C:1212@ which contains:... John Abbott

11:51 CoCoA-5 Design #1508: Initial ring

The technically easiest solution would be start with the ring @ZZ@; while not exactly what was suggested, I suspect t... John Abbott

17:38 CoCoALib Slug #897 (In Progress): SimplestBigRatBetween: why is it so slow?

The profiler suggests that the reciprocal @1/(myFrac-myQuot)@ is surprisingly costly.
I shall modify @operator/@ to ... John Abbott

15:22 CoCoALib Slug #897: SimplestBigRatBetween: why is it so slow?

Why did I give no examples to test this on?
After reading #860, a possible test might be... John Abbott

14:48 CoCoALib Feature #1513 (New): Better test for univariate-ness (and better conversion)

Issue #1118 exhibits a slug due to "stupid" conversion from a sparse multivariate poly to a dense univariate poly.
... John Abbott

12:33 CoCoALib Slug #1118 (In Progress): SLUG: factorization of x^9999

The quadratic behaviour derives from the GCD computation being between *dense* univariate polynomials.
A solution ... John Abbott

12:05 CoCoALib Slug #1118: SLUG: factorization of x^9999

I confirm that computation time increases quadratically (why?)
Also current (2020-10-19) speed is about the same as ... John Abbott

16 Oct 2020

15:48 CoCoA-5 Design #1495 (Feedback): Package exporting nothing?

I have checked in my code (after some _ad hoc_ testing).
I have slightly changed what we agreed via skype (so that t... John Abbott

15:42 CoCoA-5 Design #1495: Package exporting nothing?

I seem to have lost the test file I used for the revised package parser. Here is a short version:... John Abbott

15:36 CoCoA-5 Bug #1512 (Closed): Package with unexpected EOF

A package which ends prematurely produces an error, but the message could be better:... John Abbott

14 Oct 2020

22:07 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

I have checked in the minor change to @Main.C@ which impl the @--do-nothing@ option.
John Abbott

21:54 CoCoA-5 Design #1504: OnlineHelp: XMLFileName

After discussing with Anna: the filenames are essential for the manual mechanism to work. So my idea to pass @istrea... John Abbott

21:51 CoCoALib Design #1511 (Closed): Use C++14 constexpr

Scott Meyers recommends using @constexpr@ where (reasonably) possible.
John Abbott

21:49 CoCoALib Feature #1488: BuiltIn Interreduce-Function

I have commented out @interreduce@.
I have renamed the files to @SparsePolyOps-interreduced@.
*NOT YET DOCUMENTED... John Abbott

21:48 CoCoALib Support #1510 (New): Documentation for SparsePolyOps?

Where should the doc for fns in @SparsePolyOps-*@ files go?
The current organization is inconsistent :-(
John Abbott

21:38 CoCoALib Support #1499 (Resolved): factorization: allow zero as exponent?

I have implemented as decided (_i.e._ mults must be positive)... effectively we are rejecting the original proposal.
... John Abbott

11:17 CoCoALib Support #1499: factorization: allow zero as exponent?

I now prefer not to allow 0 as a multiplicity because it could be confusing: _e.g._ someone might call @myAppend(fac,... John Abbott

21:21 CoCoALib Design #1500 (Feedback): IsDivisible in a field?

There are now 20 different @IsDivisible@ functions (half of them are actually @IsDivisible_AllowFields@).
I have m... John Abbott

20:21 CoCoALib Design #1500: IsDivisible in a field?

Oh wow! There are a lot more @IsDivisible@ finctions than I thought... :-(
*SERIOUS QUESTION*
What should the fo... John Abbott

10:59 CoCoALib Design #1500: IsDivisible in a field?

Today my preference is for *@IsDivisible@* and *@IsDivisible_AllowFields@*.
I think these names are fairly clear, an... John Abbott

15:40 CoCoALib Design #1446 (In Progress): Start using C++14 "move" capability

Here are some fns to consider changing:
* @myCharacteristic@
* others???
John Abbott

15:35 CoCoALib Feature #24 (Rejected): object files collected in one directory

What we have currenyl works well enough (most of the time), and has been stable for quite a while (at least 3 years).... John Abbott

12:03 CoCoALib Feature #24: object files collected in one directory

Do we really want to overhaul the current @Makefile@ structure?
I do not recall any problems lately, and am loath to... John Abbott

14:43 CoCoA-5 Feature #674 (Rejected): Ring constructor: allow empty range for indices?

Anna Maria Bigatti

14:22 CoCoALib Design #1391: RingElems: syntax with [ and ] ?

Note that we have @CoeffVecWRT@ and @CoeffListWRT@. So it would be reasonable to call the CoCoALib fn *@RingElemVec@*. John Abbott

11:54 CoCoALib Design #1391: RingElems: syntax with [ and ] ?

Should *@RingElemList@* be ported into CoCoALib? (perhaps with a different name?)
If so, what should it be called?
... John Abbott

14:12 CoCoA-5 Feature #1509: RingElems with empty input

we want ... Anna Maria Bigatti

11:52 CoCoA-5 Feature #1509 (Closed): RingElems with empty input

In CoCoA-5 we have @RingElems@ and @RingElemList@.
The second function can produce an empty list (from input @"[]"@)... John Abbott

14:06 CoCoA-5 Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p"

Anna Maria Bigatti

14:06 CoCoALib Design #1462 (Closed): Change CoCoA_ERROR into CoCoA_THROW_ERROR

Effectively removed old macro *@CoCoA_ERROR@* (still exists, but triggers compile-time error saying to use @CoCoA_TH... John Abbott

13:58 CoCoA-5 Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign)

John Abbott

12:31 CoCoA-5 Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign)

John Abbott wrote:
> I have added some tests to a new file called @test-package.cocoa5@.
> Not yet checked in: awai... Anna Maria Bigatti

13:26 CoCoALib Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho

I have just checked what the code currently does: if many primes have been tried without finding a factor *and* if t... John Abbott

13:19 CoCoA-5 Feature #101: rethrow in Try .. UponError .. EndTry

Have we used the idea in comment 4 in the CoCoA-5 tests?
I think probably not. If not, why not?
Solving the orig... John Abbott

12:52 CoCoALib Bug #15: Adjoint of a non-invertible matrix

This now works (since when?).
Surely the impl for @adj@ can be improved; there are several later issues about adj to... John Abbott

12:11 CoCoA-5 Bug #1412: Emacs UI: font size

John Abbott wrote:
> I have made some improvement. Now "send region" should keep the font magnification.
I confi... Anna Maria Bigatti

13 Oct 2020

15:13 CoCoA-5 Design #1508: Initial ring

I'm not entirely sure how to achieve technically "start with no current ring":
* *(1)* use an extra flag to say no r... John Abbott

15:11 CoCoA-5 Design #1508 (In Progress): Initial ring

After lunch with Robbiano today...
The question of the initial ring in CoCoA-5 came up. There are two proposals to ... John Abbott

15:03 CoCoA-5 Bug #469: Emacs UI: keywords in multiline comments

I suggest documenting this behaviour, and then closing this issue.
*BUT* where should it be documented?
Anna po... John Abbott

15:00 CoCoA-5 Feature #674: Ring constructor: allow empty range for indices?

This was last considered 5 years ago. The problem has not arisen in this time (in my experience), so I think that it... John Abbott

12 Oct 2020

20:52 CoCoALib Design #1500: IsDivisible in a field?

I still like the idea of a 3rd param (or perhaps two fns with similar names).
My preference is that a call like @IsD... John Abbott

20:14 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

I have made a first attempt at modifying the start-up script. It took me a lot longer than anticipated :-(
It is ... John Abbott

14:16 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

It is not entirely clear to me how to make @--packageDir NoPackages@ work portably.
One solution is to make @NoPacka... John Abbott

11 Oct 2020

22:10 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

I did a quick speed test: specifying as input @/dev/null@, and where the directory @NoPackages@ contains only @init.... John Abbott

10 Oct 2020

23:15 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

An alternative solution is to ask the user to use an @install@ script: this script could then determine which executa... John Abbott

09 Oct 2020

21:24 CoCoA-5 Design #1504: OnlineHelp: XMLFileName

I have now added a fn @OpenXMLManual@ which tries to open the file, and throws a helpful exception if there is troubl... John Abbott

20:08 CoCoA-5 Design #1504 (In Progress): OnlineHelp: XMLFileName

I have changed @XMLFileName@ to return a @std::string@. Everything compiles and runs OK.
The next stage is to mak... John Abbott

21:19 CoCoALib Design #1500: IsDivisible in a field?

Also @ex-RingElem1@ fails...
John Abbott

20:06 CoCoALib Design #1500: IsDivisible in a field?

A comment about the code excerpt in comment 4. The call to @IsZeroDivisor@ is superfluous; perhaps it was put there ... John Abbott

11:03 CoCoALib Design #1500: IsDivisible in a field?

I have tried implementing the change (_i.e._ @IsDivisibile@ throws if given args in field).
Two tests fail: @test-Is... John Abbott

09:19 CoCoALib Design #1500: IsDivisible in a field?

This is a bit less clear than I had previously thought. In the file @ring.C@ the function @IsDivisible@ (with 3 args... John Abbott

20:36 CoCoA-5 Support #1507 (Closed): wordlist without OBSOLETE entries?

Currently @wordlist.txt@ contains also OBSOLETE/OBSOLESCENT entries.
Is this sensible? Shouldn't they be removed?
John Abbott

20:17 CoCoA-5 Slug #1506 (Closed): Remove XMLFileName from Main.C

@Main.C@ calls @OnLine::XMLFileName@, but I think probably should not.
Consider removing the call; and implement i... John Abbott

15:59 CoCoA-5 Feature #1293: Vim Plugin for CoCoA

Florian suggests putting a link to the github address somewhere evident on the download page for CoCoA-5 for linux.
... John Abbott

15:48 CoCoA-5 Design #1348 (Closed): cocoa5 script for releases

This was resolved some time ago by including in the @release-linux.sh@ script a check that the start-up script in the... John Abbott

15:48 CoCoA-5 Feature #1479 (In Progress): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?

Decision: distrubution with two executables.
John does the cocoa-5 script
Anna does the release script (and the rel... Anna Maria Bigatti

14:17 CoCoA-5 Support #1450 (Closed): Release CoCoA-5.3.2

Anna Maria Bigatti

14:16 CoCoALib Support #1452 (Closed): Release CoCoALib-0.99710

Anna Maria Bigatti

14:12 CoCoALib Feature #1395 (Closed): SHA checksum for released code

Anna Maria Bigatti

13:54 CoCoALib Design #1221 (Closed): Reconsider design for accessing headers and libs of external libraries

Closing because the current design seems to work well (and has not changed for many months).
Surely the recorded t... John Abbott

13:45 CoCoA-5 Feature #1487 (Closed): EOF for OpenIFile

Resolved: use the function *@IsAtEOF@* (which existed but was not documented).
John Abbott

11:54 CoCoA-5 Feature #1487: EOF for OpenIFile

I have improved the man page for @GetLine@ -- it no refers also to the page for @IsAtEOF@.
John Abbott

13:27 CoCoALib Support #1499: factorization: allow zero as exponent?

John Abbott wrote:
> My current feeling is that I should simply change the error mesg, and leave the rest as is: nam... Anna Maria Bigatti

11:11 CoCoALib Support #1499: factorization: allow zero as exponent?

If we allow 0 as a multiplicity when calling @myAppend@ then it should also be allowed in the ctor call which accepts... John Abbott

11:01 CoCoA-5 Bug #1505 (Feedback): EmacsUI: fix "Go to Error C-c C-p"

I resorted the lines and now gives the message in the bottom line.
Works fine on emacs 26 and 24. I expect it works... Anna Maria Bigatti

10:33 CoCoA-5 Bug #1505: EmacsUI: fix "Go to Error C-c C-p"

@string-to-number@ should be used instead.
But there are a few more things not working as before: the error text in ... Anna Maria Bigatti

10:32 CoCoA-5 Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p"

@string-to-int@ has been an obsolete function since Emacs 22.1, and it was removed in 26.1.
Fix code in @cocoa5.el@ Anna Maria Bigatti

08 Oct 2020

15:16 CoCoA-5 Design #1504: OnlineHelp: XMLFileName

I think changing the return type of @XMLFileName@ should be trivial (and not cause problems).
Changing the error m... John Abbott

15:15 CoCoA-5 Design #1504 (Closed): OnlineHelp: XMLFileName

In @OnlineHelp.C@ there is a fn @XMLFileName@ which should give the full path of the XML file.
Current this fn ret... John Abbott

14:16 CoCoA-5 Feature #1503: More flexible ring creation syntax (after use or ::=)

How flexible/limited should a new syntax be?
Should it be possible to make arbitrarily long extensions? Such as
... John Abbott

14:11 CoCoA-5 Feature #1503: More flexible ring creation syntax (after use or ::=)

We discussed this over lunch today.
JAA thinks that this is not incompatible with #657.
Which term order should... John Abbott

14:02 CoCoA-5 Feature #1503 (New): More flexible ring creation syntax (after use or ::=)

This request comes from Florian Walsh.
The suggestion is permit the following syntax:... John Abbott

13:57 CoCoA-5 Feature #606 (In Progress): Evaluate in ring operator (was called :: in CoCoA-4)

I think this has largely been resolved by @RingElem@ or @RingElems@ or @RingElemList@.
Right?
John Abbott

13:54 CoCoA-5 Feature #1293: Vim Plugin for CoCoA

Assuming that this works reasonably well, it would be nice to release it with CoCoA-5.
When? Next version? The one... John Abbott

13:48 CoCoA-5 Design #637: Undesirable consequence of automatic mapping of RingElems?

I have just tried the example in the description. The equality test gives @ERR::MixedRings@, which I think is probab... John Abbott

12:35 CoCoALib Design #1500 (In Progress): IsDivisible in a field?

I am becoming increasingly convinced that it is better to throw an error if the args are in a field (since it makes l... John Abbott

12:32 CoCoA-5 Bug #1502: SystemCommand in Microsoft version

Our code looks to be correct (in agreement with the description given on website @cpprefeence.com@).
At the moment... John Abbott

12:29 CoCoA-5 Bug #1502 (In Progress): SystemCommand in Microsoft version

Andraschko reports that @SystemCommand@ does not work properly in the Microsoft release. John Abbott

07 Oct 2020

22:11 CoCoALib Slug #722 (Closed): valuation slow for large inputs

The current impl is "good enough" for the moment. If a specific application comes up where more speed is needed then... John Abbott

12:02 CoCoA-5 Design #1501: testing for syntax errors

I am quite undecided about this.
For "run-time" errors we have the possibility of handling them via @try...endtry@... John Abbott

11:55 CoCoA-5 Design #1501 (Rejected): testing for syntax errors

In CoCoA-5 test files, computational errors can be captured inside a @try...entry@ block,
but syntax errors cannot.
... John Abbott

06 Oct 2020

15:53 CoCoA-5 Design #1493 (Resolved): Automatic ring mapping in assignment?

I have changed the impl of @mySetEntry@ so that it tries to auto map the ring elem. Some _ad hoc_ tests pass.
I h... John Abbott

15:42 CoCoALib Design #855: Copyright and authorship?

We should do this in an orderly manner. Many files have already been done. It would be nice to finish this for 0.99... John Abbott

15:39 CoCoALib Design #1242: C++14: Use type auto where appropriate

I suggest we work through the source file systematically, and note which ones we have updated to use *@auto@* (and wh... John Abbott

15:35 CoCoALib Bug #1473: isystem not working as expected

*Anna?* is this better for you now?
I'm pretty sure I must have checked in the change mentioned here. Do you still... John Abbott

15:20 CoCoALib Design #1279 (Resolved): Tidy up code for matrix determinant

Main dispatch fn is *@ConstMatrixViewBase::myDet@* around @matrix.C:221@
The code has already been considerably c... John Abbott

15:16 CoCoALib Design #1460 (Feedback): Name of TensorMat; change to KroneckerProd?

This has already been done.
@TensorMat@ is now in @obsolete.C@
Was this already in 0.99710?
John Abbott

14:57 CoCoALib Design #1221 (In Progress): Reconsider design for accessing headers and libs of external libraries

I wonder exactly what I had in mind when creating this issue.
The current situation is as follows: in @ExternalLib... John Abbott

14:41 CoCoALib Feature #1485: Simple syntax for making a quotient ring?

As this is not urgent, I'm postponing it.
I also expect it to be trivial to implement should we decide to do so.
John Abbott

12:24 CoCoALib Design #710 (In Progress): Update normaliz interface?

The current version of CoCoALib compiles fine with normaliz-3.8.9.
It is no longer clear me to what exactly this i... John Abbott

12:21 CoCoALib Bug #1280: Determinant & Inverse of matrix over non integral domain

This question clearly needs more work -- postponing.
John Abbott

12:20 CoCoALib Bug #1280: Determinant & Inverse of matrix over non integral domain

Now @det@ of a matrix over @ZZ/(6)@ work also for larger matrices, but it is horribly slow :-(... John Abbott

12:11 CoCoALib Feature #743: Better errors: give supplementary info about the error

I am postponing even though this is urgent. I need a quiet period to be able to think about the problem, and to find... John Abbott

12:08 CoCoALib Design #1414: Make class RingElemVector?

I am postponing, but also increasing priority.
I think this idea will be quite useful, but we need more time to th... John Abbott

11:59 CoCoA-5 Support #1498 (In Progress): Export many names or just one?

We have the habit of exporting a single name at a time, but I see no harm in allowing several names to be exported by... John Abbott

11:35 CoCoALib Design #1391: RingElems: syntax with [ and ] ?

I have changed *@RingElemList@* (in @NotBuiltin.cpkg5@).
I have added a new test @test-RingElems.cocoa5@ with the te... John Abbott

10:22 CoCoALib Support #1499: factorization: allow zero as exponent?

The current interface for @FactorMultiplicity@ does not use a @factorization@.
Even if an alternative interface (lik... John Abbott

09:53 CoCoALib Feature #1490 (Rejected): New function: MinusOneToPower

*REJECTED*
There is no need for *@MinusOneToPower@*; it can be achieved by *@SmallPower@* (if we want to avoid @Bi... John Abbott

05 Oct 2020

16:33 CoCoA-5 Feature #1487: EOF for OpenIFile

oh thanks, did not now that this function exists.
I also think that an error is appropriate, since there is no more ... Julian Danner

16:18 CoCoA-5 Feature #1487: EOF for OpenIFile

So now that *@IsAtEOF@* is visible, should attempting to read beyond EOF trigger an error?
Probably "yes".
Opinio... John Abbott

16:13 CoCoA-5 Feature #1487 (Resolved): EOF for OpenIFile

Is seems that the function *@IsAtEOF@* was not in the CoCoA manual; it is now!
This should surely resolve the prob... John Abbott

15:48 CoCoA-5 Feature #1487: EOF for OpenIFile

I have improved the manual page for @GetLine@.
I have not understood why an empty string is returned when EOF has ... John Abbott

15:37 CoCoA-5 Feature #1487 (In Progress): EOF for OpenIFile

According to the CoCoA-5 manual, *@GetLine@* returns a line *without* the following end-of-line character (ascii code... John Abbott

15:54 CoCoA-5 Support #1459 (Feedback): Manual entries for mod and div

John Abbott

14:39 CoCoALib Feature #1436 (Feedback): Flatten for a matrix

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

14:32 CoCoALib Design #1500: IsDivisible in a field?

This might be a bit like computing gcd: strictly we can define it for a field, but we opted instead to give an error.... John Abbott

14:29 CoCoALib Design #1500 (Closed): IsDivisible in a field?

What should @IsDivisible(a,b)@ do with arguments in a field?
Currently it returns the same as @not(b = 0)@.
This ... John Abbott

13:26 CoCoALib Support #1499 (In Progress): factorization: allow zero as exponent?

My current feeling is that I should simply change the error mesg, and leave the rest as is: namely, multiplicities mu... John Abbott

13:23 CoCoALib Support #1499 (Closed): factorization: allow zero as exponent?

A factorization object in CoCoALib contains a list factor-multiplicity pairs.
According to the doc the factors must ... John Abbott

13:08 CoCoALib Feature #664: Impl small non-prime finite fields (using logs)

I'd like to have the time to finish this, but that seems very unlikely in the immediate future. :-(
Postponing (yet... John Abbott

13:03 CoCoALib Design #1391: RingElems: syntax with [ and ] ?

I would like to see a minor improvement: allow whitespace before the initial *@[@* and after the final *@]@*.
It wil... John Abbott

11:58 CoCoALib Design #1463 (Feedback): SmoothFactor: use FactorMultiplicity

Now I think it is better not to make *@DivideOutMaxPower@* public; we can wait until there is actual demand for it.
... John Abbott

11:40 CoCoALib Feature #1490: New function: MinusOneToPower

Now I am having doubts about this function...
The normal @power@ function just calls @mpz_power@, and I fully expe... John Abbott

03 Oct 2020

17:51 CoCoA-5 Support #1498 (Closed): Export many names or just one?

The CoCoA manual says that @export@ expects just a single name; the code will accept a comma-separated list.
Chang... John Abbott

17:41 CoCoALib Feature #1490 (Resolved): New function: MinusOneToPower

I have implemented *@PowerOfMinusOne@* (for both @MachineInt@ and @BigInt@ exponents).
Currently they are not inline... John Abbott

17:27 CoCoALib Feature #1488 (Resolved): BuiltIn Interreduce-Function

The function is called *@interreduced@*: it returns an interreduced *copy* of the original list (which is not changed... John Abbott

17:20 CoCoA-5 Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign)

I have added some tests to a new file called @test-package.cocoa5@.
Not yet checked in: awaiting comments on #1495 a... John Abbott

17:08 CoCoA-5 Design #1495: Package exporting nothing?

I am writing tests for @package@, and have a question.
If the input contains something like *@export abc,skip;@*,
a... John Abbott