CoCoA

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

02 Oct 2020

21:46 CoCoALib Feature #1405 (Closed): New fn: interreduction

Closed because this is a duplicate of #1488 John Abbott

21:05 CoCoA-5 Design #1495: Package exporting nothing?

Prototype still needs to be cleaned... not today! John Abbott

14:22 CoCoA-5 Design #1495: Package exporting nothing?

Here are the tests we should make:
* *(1)* package with no @export@ commands (warning, as now)
* *(2)* package w... John Abbott

14:03 CoCoA-5 Design #1495: Package exporting nothing?

I have written a first prototype. It compiles and seems to do the right thing, but I must do some more testing.
The... John Abbott

11:31 CoCoA-5 Design #1495 (In Progress): Package exporting nothing?

From #1477 point (C)
proposed syntax *@export skip;@* Anna Maria Bigatti

11:30 CoCoA-5 Design #1495 (Closed): Package exporting nothing?

It may be useful to make a package exporting no function: currently it gives a warning.
Choose an explicit syntax ... Anna Maria Bigatti

20:56 CoCoALib Feature #1436: Flatten for a matrix

I have checked in the code.
The fn names are *@FlattenByRows@* and *@FlattenByCols@*; it seems unnecessary to have @... John Abbott

17:03 CoCoALib Feature #1436 (Resolved): Flatten for a matrix

I have written a first impl (in @MatrixOps-flatten.C@).
Added doc.
No tests yet.
John Abbott

20:32 CoCoALib Support #1497 (New): Doc for normaliz fns

We need some doc for the normaliz functions!
John Abbott

20:30 CoCoALib Support #1494 (Resolved): Normaliz 3.8.9

I have refreshed the script @normaliz-version.sh@ and updated @configure@ to use it and check that the version is at ... John Abbott

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

It seems that the root cause was in @LexemeClass@... which was poorly written (by me?).
I have rewritten it, and all... John Abbott

12:00 CoCoA-5 Design #1496: Use "special" names for variables inside tests

Here is a list of the tests: we can remove the ones which have been checked/updated.... John Abbott

11:54 CoCoA-5 Design #1496: Use "special" names for variables inside tests

*COPIED FROM COMMENT 3 in #1294*
One possibility is simply to use names which start with underscore: this is allow... John Abbott

11:53 CoCoA-5 Design #1496 (Rejected): Use "special" names for variables inside tests

To avoid problems with name clashes the names of variables inside test scripts these variable should have "special" n... John Abbott

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

John Abbott wrote:
> Any news about this package?
> Can we close this issue quickly and easily?
ok, working on i... Anna Maria Bigatti

11:43 CoCoA-5 Support #692 (Rejected): Local variables hiding out ones at top level

After a Skype discussion we have decided to leave things as they are: while not perfect (and sometimes annoying) the ... John Abbott

07:54 CoCoA-5 Bug #1200 (Closed): Package exported function: wrong package name

John Abbott wrote:
> Is this even a bug?
> In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by... Anna Maria Bigatti

07:36 CoCoA-5 Design #1493: Automatic ring mapping in assignment?

John Abbott wrote:
> My "gut feeling" is that it should work... I expect it to work (perhaps because the destination... Anna Maria Bigatti

07:24 CoCoA-5 Design #1477: Packages: questions from Andraschko

John Abbott wrote:
> Regarding point *(C)* _why must a package export at least 1 function?_
> We could also allow s... Anna Maria Bigatti

30 Sep 2020

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

It looks like the error mesg was generated by @Parser.H:159@.
There is also a comment in the code referring to #673.... John Abbott

17:29 CoCoA-5 Design #1493: Automatic ring mapping in assignment?

My "gut feeling" is that it should work... I expect it to work (perhaps because the destination ring is well defined?... John Abbott

14:08 CoCoALib Support #1494: Normaliz 3.8.9

Now it compiles for me. But I did not find any doc about which functions CoCoALib/CoCoA-5 make available when Normal... John Abbott

11:57 CoCoALib Support #1494 (In Progress): Normaliz 3.8.9

I have made the change, and CoCoALib now compiles, but I do not know whether it really does what people might expect.... John Abbott

11:14 CoCoALib Support #1494: Normaliz 3.8.9

I have changed the include directives to include only *@libnormaliz/libnormaliz.h@* which includes all Normaliz heade... John Abbott

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

At the moment CoCoALib is *not compatible* with Normaliz 3.8.9 (recently released, late Sept 2020).
Making it comp... John Abbott

11:43 CoCoA-5 Design #1477: Packages: questions from Andraschko

Regarding point *(C)* _why must a package export at least 1 function?_
A work-around would be to create a function... John Abbott

29 Sep 2020

13:19 CoCoALib Feature #562: Subrings

Which sorts of subring would we like to represent?
* *(A)* in a polyring a subring generated by a subset of the inde... John Abbott

13:12 CoCoALib Feature #1468 (In Progress): Adjoin indets to a poly ring

What should new indets be called? Should they be "new symbols"? Advantage is that there could be no problems with n... John Abbott

28 Sep 2020

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

We have partly implemented automatic conversion of ring elements (_e.g._ in multiplication).
Should it also work for... John Abbott

15:08 CoCoA-5 Support #1486 (In Progress): Emacs UI: indentation in a package

I suspect that the relevant part to be changed is the defn of *@cocoa5-beg-block-re@* around line 286 in @cocoa5.el@.... John Abbott

13:51 CoCoALib Feature #1492: submat of a submat

The reason for thinking of this is that the current impl of *@DetByMinors@* is disaapointingly slow on @IdentityMat(Q... John Abbott

13:48 CoCoALib Feature #1492 (New): submat of a submat

It might be worth refining the impl of *@submat@* so that @submat(submat(M,R1,C1),R2,C2)@ is "clever" and returns a s... John Abbott

25 Sep 2020

17:44 CoCoALib Feature #1490 (In Progress): New function: MinusOneToPower

It would be tricky to call the function @power@ because I want the return type to be @long@ (or even @int@) rather th... John Abbott

16:21 CoCoALib Feature #1490: New function: MinusOneToPower

John Abbott wrote:
> There is a very simple inline impl:
> [...]
>
> If we do accept this fn, in which (header) ... Anna Maria Bigatti

13:37 CoCoALib Feature #1490: New function: MinusOneToPower

There is a very simple inline impl:... John Abbott

13:35 CoCoALib Feature #1490 (Rejected): New function: MinusOneToPower

I have just seen in the code for matrix adjoint *@power(-1, i+j)@*.
It would be nice to have a simpler function for ... John Abbott

17:06 CoCoALib Feature #1436: Flatten for a matrix

it is only used in *RingElem MinPoly(ConstMatrixView M, ConstRefRingElem x)*.
Anna Maria Bigatti

11:13 CoCoALib Feature #1436: Flatten for a matrix

Some notes:
* *(A)* there are already the functions @GetRows@ and @GetCols@ which return a @vector<vector<RingElem>>... John Abbott

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

John Abbott wrote:
> *CHECKED ON 2020-09-25* the example in the description now works.
>
> Has this been fixed? ... Anna Maria Bigatti

11:18 CoCoALib Bug #1423 (In Progress): Radical 0-dim NYI? missing case for GBasisByHomog

*CHECKED ON 2020-09-25* the example in the description now works.
Has this been fixed? By whom? Can we close th... John Abbott

16:16 CoCoALib Feature #1472: Idea for for loops

just wondering: (I know it's low priority) is this any better than the standard syntax?
Anna Maria Bigatti

11:04 CoCoALib Feature #1472 (In Progress): Idea for for loops

Anna's suggestion of *@range(1,n)@* _etc._ seems simple, clear, flexible.
The intention is that both values are incl... John Abbott

15:16 CoCoALib Support #1263 (Resolved): Tidy CoCoALib test directory

I have now merged all "exbugs" into a single file called *@test-exbugs.C@* (with corr expected output in @test-exbug... John Abbott

14:58 CoCoALib Bug #1331: adj: for matrices 7x7 and bigger

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

14:52 CoCoALib Bug #1331: adj: for matrices 7x7 and bigger

Now I have split @DetDirect@ into two fns: one generic and one for sparsepolyrings (where I can use geobuckets)
John Abbott

14:35 CoCoALib Bug #1331 (Resolved): adj: for matrices 7x7 and bigger

There were two problems:
* *(A)* the dispatch function @ConstMatrixViewBase::myDet@ in @matrix.C@ was rather crude
... John Abbott

14:05 CoCoALib Design #1491 (New): Unified Gaussian reduction impl

It would be nice to make a single unified Gaussian reduction impl (if poss).
Anyway, currently there are too many im... John Abbott

14:02 CoCoALib Support #1196 (Resolved): Split MatrixOps

This is now mostly done.
There are now 7 files: original, adj, arith, det, KroneckerProd, LinKerZZ, norms, rank, r... John Abbott

11:20 CoCoALib Feature #1405: New fn: interreduction

Is this a duplicate of #1488? John Abbott

10:51 CoCoALib Design #1463 (Resolved): SmoothFactor: use FactorMultiplicity

I have made a reasonable impl more or less following *(B)*.
There is a new non-exported fn which computes multiplici... John Abbott

23 Sep 2020

11:22 CoCoA-5 Bug #1200: Package exported function: wrong package name

Is this even a bug?
In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by a package called *@expe... John Abbott

11:19 CoCoA-5 Bug #1200: Package exported function: wrong package name

The relevant line appears to be *@Interpreter.C:4289@*.
Here is a test input which triggers the bug:... John Abbott

11:09 CoCoA-5 Bug #1200: Package exported function: wrong package name

I am postponing this because it is not so important/urgent, and looks like it might be quick tricky to solve :-/
John Abbott

11:06 CoCoA-5 Support #692 (In Progress): Local variables hiding out ones at top level

I think I now prefer not to issue a warning in the examples given here.
If CoCoA issues too many warnings then the u... John Abbott

10:42 CoCoA-5 Bug #1294 (Resolved): CoCoA-5 tests may fail even if executed correctly

I have implemented option *(A)* and checked it in. I chose *(A)* because it is relatively simple to implement.
Wait... John Abbott

17 Sep 2020

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

The following produces a misleading error message... John Abbott

16:06 CoCoA-5 Feature #1415: thmproving package

Any news about this package?
Can we close this issue quickly and easily? John Abbott

15:59 CoCoA-5 Bug #1294: CoCoA-5 tests may fail even if executed correctly

I have modified the script @RunTests.sh@ so that it first runs CoCoA with an empty input (*@/dev/null@*).
If that pr... John Abbott

16 Sep 2020

16:23 CoCoALib Feature #1488: BuiltIn Interreduce-Function

Might it be useful to sort elements inside the interreduction loop according to a more "sophisticated" ordering: _e.g... John Abbott

15:41 CoCoALib Feature #1488: BuiltIn Interreduce-Function

I have now put my version of the impl in a new file *@SparsePolyOps-interreduce.C@* with corresponding header file.
... John Abbott

14:45 CoCoALib Feature #1488 (In Progress): BuiltIn Interreduce-Function

Here is my revised version of the source code. It could surely be made faster, but this version is relatively simple... John Abbott

15 Sep 2020

15:20 CoCoA-5 Bug #1294 (In Progress): CoCoA-5 tests may fail even if executed correctly

Your comment about a protected variable causing trouble is a good point (albeit also rather abstruse).
We should u... John Abbott

14:35 CoCoA-5 Bug #1294: CoCoA-5 tests may fail even if executed correctly

Yes, I think that would be an improvement, but also only solve the issue partly. Still if for instance @init.cocoa5@ ... Julian Danner

14:06 CoCoALib Feature #1488 (Closed): BuiltIn Interreduce-Function

The function @interreduce@ is implemented in CoCoA-5, and the implementation (@NotBuiltin.cpkg5@) can be translated i... Julian Danner

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

To read a local file one needs to open an input device via @D:=OpenIFile("path_to_file")@ and read it line-by-line vi... Julian Danner

14 Sep 2020

18:19 CoCoA-5 Support #1486: Emacs UI: indentation in a package

JAA is uncertain about this.
On the one hand the "strange" indentation of package variable assignments highlights ... John Abbott

18:16 CoCoA-5 Support #1486 (In Progress): Emacs UI: indentation in a package

Bernhard Andraschko reports the following anomaly.
Inside a package variables are indented, but all other package ... John Abbott

18:11 CoCoALib Feature #1485 (New): Simple syntax for making a quotient ring?

The syntax *@R/I@* would be convenient and easy to read.
At the moment I do not see how it could be "dangerous" un... John Abbott

17:56 CoCoALib Feature #1485 (Resolved): Simple syntax for making a quotient ring?

John Abbott

17:47 CoCoALib Feature #1485 (New): Simple syntax for making a quotient ring?

Should we allow the syntax *@R/I@* to mean the same as *@NewQuotientRing(R,I)@*?
Discuss, and maybe implement.
John Abbott

18:08 CoCoALib Bug #1484 (Resolved): ker bug (quotientinghom for R/ideal())

There are two more suspect creations of ideals: line 325 and 347.
I have changed these too, but am less sure that wh... John Abbott

18:07 CoCoALib Bug #1484: ker bug (quotientinghom for R/ideal())

I have blindly changed the code in @HomomorphismOps.C@.
The problem was in @MakeRichHom@ (and presumably an analogo... John Abbott

17:38 CoCoALib Bug #1484 (Closed): ker bug (quotientinghom for R/ideal())

Bernhard Andraschko reports the following bug:... John Abbott

13:10 CoCoALib Feature #1483 (Feedback): IsPowerOf2 for rationals

Added new function *@IsPowrerOf2@* for @BigRat@. Gives @false@ if arg is not strictly positive.
Impl is simple rath... John Abbott

13:08 CoCoALib Feature #1483 (Closed): IsPowerOf2 for rationals

Add new function *@IsPowerOf2@* for @BigRat@.
It already exists for @BigInt@.
John Abbott