Activity
From 12 Feb 2021 to 13 Mar 2021
13 Mar 2021
-
21:02 CoCoALib Feature #1580: New fn prim for polys
- It might be helpful to generalize the fn so that it works in rings such as @QQ(a,b)[c,d](e,f)[x,y]@.
12 Mar 2021
-
17:40 CoCoA-5 Feature #500 (Resolved): Interpreter: is it possible to avoid useless prompts?
- I now have a prototype which works as expected in various tests :-)
One question: if I start CoCoA inside emacs by... -
12:21 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- I have just tried a minor variant of the code excerpt given in the previous comment (11).
It did not work (as expect... -
09:36 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- There is a potentially useful code outline on StackOverflow (@https://stackoverflow.com/questions/15524122/how-to-imp...
-
10:37 CoCoALib Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
- If no timeout is specified (_i.e._ the current situation) then some "heuristic" timeout is used.
Currently the heuri... -
10:08 CoCoALib Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
- What is the status of this issue?
As I recall @radical@ now works fairly well for 0-dim ideals (see issue #948). Bu... -
10:27 CoCoALib Slug #1375 (Resolved): Radical 0-dim: varied timings
- I have just tried most of the examples listed in this issue.
The early part about varied timings now seems to be com... -
09:57 CoCoALib Slug #777: SLUG: elimination
- Has there been any progress on this issue?
In the case of elimination perhaps the "final clean up" could be limite... -
09:48 CoCoALib Slug #1337: PrimaryDecomposition: a interesting/pathological example
- Since we now have GBasis with timeout, perhaps that could be used to implement a sort of "parallel" approach where th...
-
09:39 CoCoA-5 Feature #133: Qt GUI: Make better distinction between input and output in the output window
- This issue is probably not so relevant at the moment, but it may become useful as a test case for some future GUI.
S...
05 Mar 2021
-
09:37 CoCoALib Feature #1582: Factorization in K(a,b)[x,y]
- Presumably the following approach should work:
* map into @K[a,b,x,y]@ after clearing denoms
* discard any factors ... -
09:35 CoCoALib Feature #1582 (New): Factorization in K(a,b)[x,y]
- Florian would like to have factorization of polynomial over a function field _e.g._ @QQ(a,b)[x,y]@.
This would als... -
09:22 CoCoALib Design #894: strict enum types: C++11 extension
- Where I have felt that it is useful to inject the names from an enum,
I have used the following technique to reprodu...
04 Mar 2021
-
17:44 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
- Example of the data format can be found in the following file...
-
17:38 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
- For Anna: look for some examples, and try to remember how it works
-
17:27 CoCoA-5 Design #1546 (Closed): Improve 'describe' or 'print' for a function
-
17:20 CoCoA-5 Support #1298 (Feedback): How can user find the indent command?
-
17:15 CoCoA-5 Bug #1396 (Closed): Website: download page for CoCoA-4 burns CPU
-
17:10 CoCoA-5 Design #1554 (Closed): cocoa5-emacs-dir or cocoa5-root-dir?
-
17:10 CoCoA-5 Design #1554 (Feedback): cocoa5-emacs-dir or cocoa5-root-dir?
-
17:06 CoCoA-5 Slug #1581: Slow sqfr: rad(f)
- Problem arose while computing radical of 1st example in issue #948
The critical line was 151 in @radical.cpkg5@
<pr...
02 Mar 2021
-
22:54 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- If it is possible to call @getline@ with a timeout (_e.g._ 0.1s) then we could do the following:
* do not print any ... -
15:34 CoCoA-5 Support #911 (Resolved): CoCoA-5 prompt for incomplete input
- I have now revised the impl after designing a simple test, and seeing that the behaviour was "sub-optimal"...
The te... -
08:54 CoCoALib Design #894: strict enum types: C++11 extension
- This is what I got searching for @enum@ in the CoCoALib sources: *(I'll remove lines after having revised the files)*...
-
08:52 CoCoALib Design #894 (In Progress): strict enum types: C++11 extension
- This is what I got searching for @enum@ in the CoCoA-5 sources:...
-
08:47 CoCoA-5 Support #1298 (Resolved): How can user find the indent command?
- I have removed the example of @indent@ with 2 args; I really this it makes the manual page more readable.
I have cha... -
08:35 CoCoA-5 Slug #1581 (New): Slow sqfr: rad(f)
- This poly arises in the first computation from issue #948.
CoCoA takes too long to compute its radical:... -
08:11 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- The examples in comment 13 are now reasonably quick.
The one in comment 2 is still slow -- *cause is* trouble with m... -
07:59 CoCoA-5 Bug #1502: SystemCommand in Microsoft version
- With luck Andraschko will make some tests this week.
By chance I happened to speak to a friend (Nick) who suggested ... -
07:56 CoCoA-5 Design #1554: cocoa5-emacs-dir or cocoa5-root-dir?
- What is the status of this issue?
The file @cocoa5.emacs@ defines @cocoa-root-dir@ in terms of @cocoa5-emacs-dir@ ...
01 Mar 2021
-
21:25 CoCoALib Feature #974 (In Progress): QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints
- I have revised impl for @SimplestBinaryRatBetween@ so that it can accept open/closed endpoints... but it still protot...
-
21:13 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?
- I have added a short comment to the documentation.
I can see that it might be nice to have a version of @RealRoots... -
20:26 CoCoALib Feature #1580 (Feedback): New fn prim for polys
- I have now integrated *@prim@* into the code (will check in shortly).
Also added documentation (both CoCoALib and Co... -
12:26 CoCoALib Feature #1580 (In Progress): New fn prim for polys
- I now a have prototype impl which works for "towers" of poly rings (even a mix of sparse multivariate and dense univa...
-
18:04 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input
- I have now removed dot-dot-dot from the prompt prefix.
Also when inside a multi-line comment, the prompt now says *@...
25 Feb 2021
-
17:52 CoCoALib Feature #1580 (Closed): New fn prim for polys
- Implement a new function *@prim@*.
Over @QQ@ is should make the coeffs integer and coprime:...
23 Feb 2021
-
10:49 CoCoALib Bug #1579: Readexpr/RingElem: unhelpful error message when input is wrong
- Currently permitted expressions require that an exponent be an unsigned integer literal or a possible signed integer ...
-
10:44 CoCoALib Bug #1579 (Closed): Readexpr/RingElem: unhelpful error message when input is wrong
- I find the following error message unhelpful...
-
10:39 CoCoA-5 Slug #1578: SLUG: RationalSolve slow and stupid
- Some ideas:
* if there is a univariate poly, factorize it, and take just the univariate factors; use these to elim a... -
10:27 CoCoA-5 Bug #1537 (Resolved): EmacUI: strange colours, sometimes
- I have just updated issue #1538. This can probably be considered as an acceptable resolution of the problem reported...
-
10:25 CoCoALib Design #1538: RingElem from string (ReadExpr)
- Should we attempt to produce a better error message for the example given in the original description?
Is it worth i... -
10:23 CoCoALib Design #1538: RingElem from string (ReadExpr)
- I have changed the CoCoA-5 parser so that it produces a warning when given input such as *@2*-1@* or *@3/-1@*. The c...
22 Feb 2021
-
23:03 CoCoA-5 Feature #1536 (Feedback): Implement xel?
- I have added doc, but no tests (too lazy/tired).
-
22:00 CoCoA-5 Feature #1536: Implement xel?
- Anna has too much else to do. So I have knocked up a quick impl... brain off, just cut-and-paste... and hope!
Per... -
20:47 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?
- We could try to mimic the hack described in issue #1573, where the values are checked at the approx solutions, and re...
-
20:31 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input
- I am not convinced of the utility of the dot-dot-dot when the supplementary prompt is non-empty.
It is hard to expla... -
20:27 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input
- The supplementary part of the prompt comes from *@openBlocks@*.
I have no idea how the value of @openBlocks@ is upda... -
20:25 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input
- Here is what my personal CoCoA does currently:...
-
17:31 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input
- I am wondering about enclosing the prompt prefix in square brackets.
I also wonder whether the case of a prefix cont... -
17:21 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- I have added a command line option *@--no-prompt@* which forces the function which produces the prompt string to retu...
-
15:22 CoCoA-5 Slug #1578 (New): SLUG: RationalSolve slow and stupid
- The following system can easily be solved by hand, but CoCoA is very slow...
19 Feb 2021
-
17:26 CoCoA-5 Bug #1577 (Resolved): radical: lex order, ERROR: Ring is not standard graded
- Anna has implemented the obvious workaround: map into a new poly ring (with degrevlex), and then unmap the result.
S... -
17:00 CoCoA-5 Bug #1396 (Resolved): Website: download page for CoCoA-4 burns CPU
- Anna removed some Java script... now seems OK.
-
09:50 CoCoA-5 Feature #1112: New function: IsEmpty
- The function *@IsEmpty@* is slower than explicitly testing for equality to the empty list; why should that be?
He...
18 Feb 2021
-
22:18 CoCoA-5 Feature #1112 (Resolved): New function: IsEmpty
- I have just added a first impl to @BuiltInFunctions.C@.
A couple of trivial tests passed.
Still need to: write te... -
22:07 CoCoA-5 Feature #250 (Feedback): CoCoALib BuildInfo vs CoCoA-5 VersionInfo
- The code in @VersionInfo.C@ looks clean and simple to me.
I think this issue has been resolved some time ago.
Movin... -
22:05 CoCoA-5 Bug #1396: Website: download page for CoCoA-4 burns CPU
- The problem still exists :-(
-
22:03 CoCoA-5 Design #474: Eliminate package BinRepr
- It looks to me as though this could easily be converted into C++ (in CoCoALib).
Perhaps just an afternoon suffices..... -
22:00 CoCoA-5 Bug #1215 (Feedback): RationalSolve: gives "Error: must be non-zero"
- Is this issue a *duplicate* of issue #724?
I think so. Anyway, I tried the example mentioned in the description, an... -
17:21 CoCoALib Design #1558: CpuTimeLimit: more frequent clock checks
- I have revised the impl based on the results from yesterday's speed tests.
The current impl seems to work acceptab...
17 Feb 2021
-
20:33 CoCoALib Design #1558: CpuTimeLimit: more frequent clock checks
- I have done a speed test using the "quick" example from comment 4.
The speed penalty when I limited the number of it... -
19:03 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- I have just checked in my revised code (even though it still needs to be cleaned).
We must develop a proper test s... -
18:33 CoCoA-5 Design #1540 (Resolved): Double power
- I think I have solved the main problem and also the one mentioned in comment 2.
Solution is not elegant, but I do no... -
11:16 CoCoALib Design #1538 (Resolved): RingElem from string (ReadExpr)
- I have just checked what the code does (or seems like it should do).
The current impl is:
* reading from @istream@ ... -
11:06 CoCoALib Design #1547 (Feedback): Require decimal mode for ostream?
- I have changed most/all output fns so that they *assert* that the @ostream@ is in decimal mode.
Contrast with input ... -
10:27 CoCoALib Design #1547 (Resolved): Require decimal mode for ostream?
- I have now added assertions to printing for @BigInt@, @BigRat@ (which anyway prints a @BigInt@), @PPMonoidElem@, and ...
-
10:09 CoCoALib Design #1547 (In Progress): Require decimal mode for ostream?
- I do not like the idea of converting a @BigInt@ or @BigRat@ to a non-decimal string via normal output operators.
[We... -
11:02 CoCoALib Design #1529 (Closed): INPUT questions
- Closing after 2 months in feedback.
-
11:01 CoCoALib Design #1523 (Closed): Input fns: action when when istream is in bad state?
- Closing after 2 months in feedback.
*One last change: input fns throw if @istream@ is not in decimal mode* -
10:02 CoCoALib Bug #1473: isystem not working as expected
- *Anna:* can you check whether this is still a problem?
I suppose it is, but since I do not have access to your Mac, ... -
09:59 CoCoALib Design #794 (Rejected): ar gives warnings on fedora 23
- This now very outdated (curr version of Fedora is 33) -- rejecting.
I do not recall getting warnings on my Ubuntu in...
16 Feb 2021
-
18:46 CoCoALib Bug #1522: SEGV: avoid long linked lists of loaves in MemPools
- I have just run the test from issue #1337.
With @MemPool@ the program took 473s; disabling @MemPool@ by setting the ... -
18:13 CoCoALib Slug #1337: PrimaryDecomposition: a interesting/pathological example
- *STATUS 2021-02-16:* I confirm that the RGB took about 0.35s on my computer, while PD took 473s.
*OBSERVATION:* it... -
18:03 CoCoALib Design #786 (Resolved): MemPool: review min and max loaf sizes
- After the design change noted in issue #1522#note-10, this issue is probably largely irrelevant now.
The current l... -
17:34 CoCoALib Feature #898: New function: cardinality of finite field?
- I have now changed the default defn of @myLogCardinality@ so that it throws an exception; the finite fields overwrite...
-
17:27 CoCoALib Feature #898: New function: cardinality of finite field?
- Since we intend restricting its use to finite fields maybe the fn could be called *@FieldSize@*; error if arg is not ...
-
17:19 CoCoALib Feature #1219: Frobby version number
- I believe that maintenance of *Frobby* has now passed to the Macaulay group (Mike Stillman, _etc._)
We should contac... -
14:41 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- I might have fixed this (for ideals)... and probably introduced some new weird bugs.... the interpreter code is not e...
-
14:09 CoCoA-5 Slug #1392 (Resolved): ApproxSolve: another slow example
- The example given is quite quick now (0.5s on my computer).
Marking as "resolved" (don't know by whom or when).
-
14:04 CoCoA-5 Bug #1574: ApproxSolveTF
- The code seems to be a bit convoluted. It'll take time to work out what it is supposed to be doing... not today!
-
13:43 CoCoALib Bug #1575: DynamicBitset missing arg checks
- My usual approach regarding errors and assertions is:
* if the fn is the main public fn for that operation (and docu...
15 Feb 2021
-
22:49 CoCoA-5 Bug #1577: radical: lex order, ERROR: Ring is not standard graded
- The full error mesg is:...
-
22:48 CoCoA-5 Bug #1577 (Closed): radical: lex order, ERROR: Ring is not standard graded
- This should not happen:...
-
22:20 CoCoA-5 Bug #1567 (Feedback): Radical in non-zero char
- I have check in the changes (some time ago). So moving status to _feedback_.
12 Feb 2021
-
12:19 CoCoA-5 Bug #724 (Resolved): RationalSolve: wrongly complains about non zero-dim even in finite char
- The example from issue #723 is way too slow to act as a test case -- do we have a more sane test case? How about the...
-
12:16 CoCoA-5 Feature #723: Referring to indets with multiple indices from a polyring
- The example in comment 2 is slow because it takes along time to test @IsZeroDim@ _i.e._ compute a GB.
I stopped th... -
11:54 CoCoA-5 Slug #1270 (Feedback): RationalSolve: use MinPolyQuot instead of elim
- I have just tried the example from comment 5, and @RationalSolve@ is now tolerably fast (less than 2s).
11 Feb 2021
-
00:13 CoCoA-5 Support #1252: ShapeLemma: no manual entry
- What is the status of this issue?
-
00:12 CoCoA-5 Bug #1573 (Resolved): ApproxSolve: very imprecise
- I have now added an extra loop which checks the values of the polys at the points found.
If the values are not "heur... -
00:08 CoCoA-5 Bug #1216 (Feedback): RationalSolve: gives wrong answer
- I have implemented the new field names, and updated doc, tests, manual.
New state: Feedback.
Also available in: Atom