Activity
From 24 Sep 2020 to 23 Oct 2020
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... -
15:56 CoCoA-5 Bug #1514: Cocoa crashes when calling RingElems
- I have just made a first run with debugger/profiler --> SEGV
Ooops!
-
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... -
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 ... -
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 ...
-
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...
-
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 ...
-
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 ... -
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... -
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... -
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... -
10:57 CoCoALib Design #1500 (Closed): IsDivisible in a field?
-
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 ...
-
10:07 CoCoALib Bug #1473: isystem not working as expected
- Still problematic...
-
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... -
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... -
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?
-
09:33 CoCoA-5 Feature #1509: RingElems with empty input
- Fixed in @RingElemInput.C@, therefore also for CoCoALib.
-
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.
...
22 Oct 2020
-
17:32 CoCoALib Design #1515: Indets in coeffring are ringelems in coeffring?
- This is almost a duplicate of issue #636.
-
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...
-
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... -
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... -
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... -
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...
-
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 :-/
-
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...
-
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...
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@)...
-
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@).
...
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...
-
17:44 CoCoA-5 Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis?
- Is this a quick issue? If so, is it worth finishing it quickly?
-
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:... -
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... -
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!
-
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 ...
-
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 ...
-
12:59 CoCoALib Slug #897: SimplestBigRatBetween: why is it so slow?
- Here is the speed test I used:...
-
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...
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:...
-
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...
-
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 ... -
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... -
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.
... -
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 ... -
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 ...
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... -
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:...
-
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:...
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.
-
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...
-
21:51 CoCoALib Design #1511 (Closed): Use C++14 constexpr
- Scott Meyers recommends using @constexpr@ where (reasonably) possible.
-
21:49 CoCoALib Feature #1488: BuiltIn Interreduce-Function
- I have commented out @interreduce@.
I have renamed the files to @SparsePolyOps-interreduced@.
*NOT YET DOCUMENTED... -
21:48 CoCoALib Support #1510 (New): Documentation for SparsePolyOps?
- Where should the doc for fns in @SparsePolyOps-*@ files go?
The current organization is inconsistent :-(
-
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.
... -
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,...
-
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... -
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... -
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... -
15:40 CoCoALib Design #1446 (In Progress): Start using C++14 "move" capability
- Here are some fns to consider changing:
* @myCharacteristic@
* others???
-
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)....
-
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... -
14:43 CoCoA-5 Feature #674 (Rejected): Ring constructor: allow empty range for indices?
-
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@*.
-
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?
... -
14:12 CoCoA-5 Feature #1509: RingElems with empty input
- we want ...
-
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 @"[]"@)... -
14:06 CoCoA-5 Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p"
-
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...
-
13:58 CoCoA-5 Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign)
-
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... -
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...
-
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... -
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... -
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...
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... -
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 ... -
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... -
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...
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... -
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 ... -
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...
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....
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...
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...
-
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... -
21:19 CoCoALib Design #1500: IsDivisible in a field?
- Also @ex-RingElem1@ fails...
-
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 ...
-
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... -
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...
-
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?
-
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... -
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.
... -
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...
-
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... -
14:17 CoCoA-5 Support #1450 (Closed): Release CoCoA-5.3.2
-
14:16 CoCoALib Support #1452 (Closed): Release CoCoALib-0.99710
-
14:12 CoCoALib Feature #1395 (Closed): SHA checksum for released code
-
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... -
13:45 CoCoA-5 Feature #1487 (Closed): EOF for OpenIFile
- Resolved: use the function *@IsAtEOF@* (which existed but was not documented).
-
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@.
-
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... -
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...
-
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... -
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 ... -
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@
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... -
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... -
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
... -
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... -
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:... -
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?
-
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... -
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...
-
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...
-
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... -
12:29 CoCoA-5 Bug #1502 (In Progress): SystemCommand in Microsoft version
- Andraschko reports that @SystemCommand@ does not work properly in the Microsoft release.
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...
-
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@... -
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.
...
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... -
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...
-
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...
-
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... -
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... -
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?
-
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... -
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.
-
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... -
12:21 CoCoALib Bug #1280: Determinant & Inverse of matrix over non integral domain
- This question clearly needs more work -- postponing.
-
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 :-(...
-
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...
-
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... -
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...
-
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... -
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... -
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...
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 ... -
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... -
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... -
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 ... -
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...
-
15:54 CoCoA-5 Support #1459 (Feedback): Manual entries for mod and div
-
14:39 CoCoALib Feature #1436 (Feedback): Flatten for a matrix
- I have added a test to @test-matrix4.C@
-
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....
-
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 ... -
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...
-
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 ... -
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... -
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... -
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.
... -
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...
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... -
17:41 CoCoALib Feature #1490 (Resolved): New function: MinusOneToPower
- I have implemented *@PowerOfMinusOne@* (for both @MachineInt@ and @BigInt@ exponents).
Currently they are not inline... -
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...
-
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... -
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...
02 Oct 2020
-
21:46 CoCoALib Feature #1405 (Closed): New fn: interreduction
- Closed because this is a duplicate of #1488
-
21:05 CoCoA-5 Design #1495: Package exporting nothing?
- Prototype still needs to be cleaned... not today!
-
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... -
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... -
11:31 CoCoA-5 Design #1495 (In Progress): Package exporting nothing?
- From #1477 point (C)
proposed syntax *@export skip;@* -
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 ... -
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 @... -
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.
-
20:32 CoCoALib Support #1497 (New): Doc for normaliz fns
- We need some doc for the normaliz functions!
-
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 ...
-
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... -
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....
-
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... -
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...
-
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... -
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 ...
-
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... -
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... -
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...
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.... -
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?...
-
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...
-
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....
-
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...
-
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... -
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...
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... -
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...
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... -
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@....
-
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...
-
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...
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...
-
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) ... -
13:37 CoCoALib Feature #1490: New function: MinusOneToPower
- There is a very simple inline impl:...
-
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 ... -
17:06 CoCoALib Feature #1436: Flatten for a matrix
- it is only used in *RingElem MinPoly(ConstMatrixView M, ConstRefRingElem x)*.
-
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>>... -
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? ... -
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... -
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?
-
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... -
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...
-
14:58 CoCoALib Bug #1331: adj: for matrices 7x7 and bigger
- I have added a test to @test-bug1.C@
-
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)
-
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
... -
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... -
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... -
11:20 CoCoALib Feature #1405: New fn: interreduction
- Is this a duplicate of #1488?
-
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...
Also available in: Atom