CoCoA

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

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