Activity
From 29 Sep 2019 to 28 Oct 2019
28 Oct 2019
-
12:31 CoCoALib Support #1353: configure script help
- Ahhh. I see your point.
For CoCoALib the option *@--no-boost@* does nothing (since CoCoALib does not use BOOST, I... -
11:48 CoCoALib Support #1353: configure script help
- I think that @--no-boost@ should be listed as a CoCoALib option, because it can compile without boost, instead of a C...
27 Oct 2019
-
21:16 CoCoALib Support #1353 (In Progress): configure script help
- I have just compiled CoCoALib with the option *@--no-boost@*, and everything worked fine (as I expected/hoped). Of c...
-
21:13 CoCoALib Support #1353 (Closed): configure script help
- Bruns recently asked (by email) if configuring CoCoALib with *@--no-boost@* will work OK.
I believe CoCoALib does ... -
21:10 CoCoALib Slug #792 (In Progress): configure: search for libgmp too slow
- I think this may already be almost done. Let's finish it soon!
-
21:06 CoCoALib Support #976: configure: auxiliary scripts should be consistent about error messages
- Let's finish this soon! Boosted priority, and brought target version forward.
I think it is almost done anyway... b...
26 Oct 2019
-
09:53 CoCoA-5 Bug #1325 (Closed): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- tried. works. closed.
-
09:11 CoCoA-5 Bug #1325 (Feedback): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- I have made the changes which I think are right for having *@until@* recognized as an end-keyword.
I have tried to c... -
08:47 CoCoA-5 Feature #673: Error message: I was expecting...
- John Abbott wrote:
> Mind you, anyone who types in any of the above is just being a vandal (mmm, me too?)
Now cal...
25 Oct 2019
-
18:27 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- Added sleep to ConfigEmacs mac and linux
-
18:06 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- updated accordingly the scripts in @release-files/@
-
16:17 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- Good point! I think we should set the same timings in the installation script (for Mac it's called @ConfigEmacs@)
-
14:07 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- One could argue that this is relatively unimportant for normal users (_i.e._ those who download CoCoA-5) since they _...
-
14:01 CoCoA-5 Design #1352 (In Progress): cocoa5 (launch) script: sleep time
- A slightly previous version of the script would sleep for 1 sec, print error mesg, sleep for 1 sec, then exit.
An ... -
13:39 CoCoA-5 Design #1352 (Closed): cocoa5 (launch) script: sleep time
- The usual way to start CoCoA-5 is to run the script *@cocoa5@*.
This script runs some quick basic checks then call... -
15:57 CoCoA-5 Bug #1325: Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- I now see that in *@cocoa5.el@* there are two very similar constants: *@cocoa5-endkeywords-list@* and *@cocoa5-end-bl...
-
15:39 CoCoA-5 Bug #1325 (Resolved): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- I think I may have solved this (without actually understanding what the emacs-lisp code does).
I have changed the ... -
15:27 CoCoA-5 Bug #1325: Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- Here is a test case:...
-
15:12 CoCoA-5 Feature #673 (Feedback): Error message: I was expecting...
- I have tried some more tests. Mostly it seems OK, but it is possible to confuse the parser:...
-
13:34 CoCoA-5 Bug #1351: Clean up package points.cpkg
- I was surprised by the following line in @points.cpkg5@...
-
13:31 CoCoA-5 Bug #1351 (New): Clean up package points.cpkg
- I noticed some old code in *@points.cpkg@* which does not work in CoCoA-5.
In any case, most functions in that pac... -
13:28 CoCoA-5 Support #1350: CoCoA manual: entry for operators, shortcuts
- I have added *@<=@* and *@>@* and *@>=@* to the list at the top of the page.
I also noticed that there appears to ... -
13:26 CoCoA-5 Support #1350 (New): CoCoA manual: entry for operators, shortcuts
- The first time I use the online manual in CoCoA-5, I always get a warning about the *@operators, shortcuts@* page bei...
-
11:55 CoCoA-5 Feature #504: New operators: += -= *= /=
- Here is a command for finding lines which contain commands like *@A := A + blah@* or some other operator -- it does f...
-
11:46 CoCoA-5 Feature #504: New operators: += -= *= /=
- One big advantage of rejecting the idea of introducing *@+=@* and friends is that there would be no need to fiddle ar...
24 Oct 2019
-
23:11 CoCoA-5 Feature #673: Error message: I was expecting...
- CVS-ed. Also CoCoA-5 tests pass :-)
-
23:00 CoCoA-5 Feature #673 (Resolved): Error message: I was expecting...
- Not really sure how to do this cleanly, so I have "hacked" the class @Token@ in @Lexer.H@ (near line 243) by adding a...
-
23:06 CoCoA-5 Support #530: Interpreter error message: "for" with missing "do"
- Oh, that is strange.
I suppose the parser thinks that @10 x@ is more likely a typo for @10*x@, but that @10 3@ is pr... -
15:38 CoCoALib Feature #1349: ideal ctor where given gens are a gbasis
- Here is the background for my request.
I want to modify @MinPolyQuot@ so that it accepts "relatively zero-dim idea... -
15:27 CoCoALib Feature #1349 (In Progress): ideal ctor where given gens are a gbasis
- I would like to create a new ideal from a list which I know is a (reduced) GBasis.
How should I do this?
In fact,... -
15:00 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
- I have just added (in @SparsePolyOps-RingElem.C@) an impl for @IndetsIn(const std::vector<RingElem>&)@.
The result i... -
08:23 CoCoA-5 Design #1348 (Feedback): cocoa5 script for releases
- I recovered the check on 32/64 bits for linux even though we no longer distribute 32-bit.
(but this way the user get...
23 Oct 2019
-
18:51 CoCoA-5 Design #1348: cocoa5 script for releases
- I made a new release for mac and for linux on the webpage.
-
18:19 CoCoA-5 Design #1348 (Resolved): cocoa5 script for releases
- Done, I believe.
Now testing comes.
-
14:48 CoCoA-5 Design #1348 (In Progress): cocoa5 script for releases
- I have updated the release-* scripts for Linux, Mac and Microsoft.
CVS-ed.
-
14:43 CoCoA-5 Design #1348: cocoa5 script for releases
- I have noticed that @cocoa5-linux@ still includes the trick for choosing between 32-bit and 64-bit executables. Isn'...
-
14:35 CoCoA-5 Design #1348: cocoa5 script for releases
- The bug the student had found had been fixed (ages ago?) in our "private" version of @cocoa5@, but the change was nev...
-
14:34 CoCoA-5 Design #1348 (Closed): cocoa5 script for releases
- A student today reported a problem with CoCoA-5 on her Mac: we released a "bad" version of the @cocoa5@ start-up scri...
22 Oct 2019
-
11:10 CoCoA-5 Slug #1284 (Closed): CartesianProductList: too slow
-
11:04 CoCoA-5 Bug #1288 (Closed): len for RINGELEM ?!?
21 Oct 2019
-
23:00 CoCoA-5 Slug #1270 (In Progress): RationalSolve: use MinPolyQuot instead of elim
- Here is an example which shows that @RationalSolve@ can be unreasonably slow:...
-
18:50 CoCoALib Feature #1347 (Feedback): New function: ctor of PPVector with vector<RingElem>
- Done, tested, cvs-ed.
To do: documentation. -
18:49 CoCoALib Feature #1347 (Closed): New function: ctor of PPVector with vector<RingElem>
- While updating the code for monomial ideals using the new range-based for loop I realized how many times I need to in...
-
18:45 CoCoALib Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
-
18:44 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- used massively for monomial ideals.
Tested.
cvs-ed. -
12:27 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- We should maintain a list of files to change and/or a list of files already changed.
* @SparsePolyOps-ideal-monomial... -
12:26 CoCoALib Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- Since C++11 there is a new "range-based" *@for@* loop.
Employ it where appropriate in CoCoALib. -
12:29 CoCoALib Design #1242: C++14: Use type auto where appropriate
- I have created a new issue (#1346) about using the new *@for@* loop syntax; please put relevant progress reports ther...
-
12:06 CoCoALib Design #1242: C++14: Use type auto where appropriate
- John Abbott wrote:
> * use *@auto@* instead of the explicit type for C++ iterators (usu. the explicit type is "unrea...
19 Oct 2019
-
20:28 CoCoALib Bug #1345: Problem with linking the library
- John Abbott wrote:
> If you were running your tests from a @cocoa5@ session, then you should also check with @ls -l@... -
19:43 CoCoALib Bug #1345: Problem with linking the library
- Very strange. I think I may have seen a similar phenomenon occasionally, but @make clean; make@ always seemed to fix...
-
17:14 CoCoALib Bug #1345 (Closed): Problem with linking the library
- My mistake?
I tried again, and I cannot longe reproduce it.
It is linked correctly.
-
11:43 CoCoALib Bug #1345 (Closed): Problem with linking the library
- I was testing a change made in @SparsePolyOps-ideal-monomial.C@, and, though it did recompile the file, the new code ...
18 Oct 2019
-
17:04 CoCoALib Design #1242 (In Progress): C++14: Use type auto where appropriate
-
11:23 CoCoALib Design #1242: C++14: Use type auto where appropriate
- It may be helpful to keep a list of source files which have been "done" (this may also include that the file was look...
-
11:19 CoCoALib Design #1242: C++14: Use type auto where appropriate
- I must re-read the relevant parts of Meyers's book (Eff. Modern C++). Where should we use *@auto@*?
* use *@auto@* ... -
16:16 CoCoALib Feature #1332 (Feedback): New function: vector of RingElem from string -- in CoCoALib
- done, documented, tested
17 Oct 2019
-
23:27 CoCoALib Support #1263: Tidy CoCoALib test directory
- I have merged several tests in the series @test-NumTheory@ and @test-SparsePolyRing@ into fewer files.
I have prefer... -
23:23 CoCoALib Feature #1297 (Closed): New fn: FixedDivisor (formerly IntrinsicContent)
- I have added a test (and also reorganized several of the existing tests).
Closing.
-
17:45 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib
- OK for the name *@RingElems@* it is a bit like *@symbols@*
(I do not really like it that much, but cannot think of ... -
17:43 CoCoA-5 Support #1344 (Rejected): Clean out OBSOLESCENT
- Some obsolescent functions have been so for a long time.
Clean out some of the oldest ones (for 5.3.0).
-
15:24 CoCoA-5 Design #1075: LaTeX package: power-product printing
- John Abbott wrote:
> Perhaps the criterion in comment 3 should consider only those indets which actually appear in t...
16 Oct 2019
-
22:30 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- I have just run the test given in comment 2; now only the first one evals its arg twice.
Is this easy to fix?
Mov... -
22:23 CoCoA-5 Design #474: Eliminate package BinRepr
- This issue has been lingering for years. Now it is marked as *urgent* (so moving it back to target 5.3.0).
*Anna* n... -
22:15 CoCoA-5 Bug #1288 (Feedback): len for RINGELEM ?!?
- The CoCoA-5 manual page has already been fixed.
I have just modified @BuiltinFunction-CoCoALib.C@ so that an error... -
22:04 CoCoA-5 Design #1075: LaTeX package: power-product printing
- I have just tried a quick test: it is a bit surprising that the resulting strings are different...
-
21:56 CoCoA-5 Slug #1284 (Feedback): CartesianProductList: too slow
- Apparently I checked this in some time ago -- I suppose not long after the previous comment (5 months ago).
Maybe ... -
15:10 ApCoCoA Feature #1343 (New): ApCoCoA projects
- ApCoCoA input files are organized into "projects"; a project is just a directory.
There should be a small window f... -
15:08 ApCoCoA Feature #1342 (New): Input tabbed windows associated to files
- In addition to teh interactive input window, it is possible to have other "tabbed windows" each associated to a (dist...
-
15:02 ApCoCoA Bug #1341 (Closed): Test: redmine problem
- The solution appeared to be that Klaus had to log out and log in again. Then all issues were visible to him.
-
15:00 ApCoCoA Bug #1341 (Closed): Test: redmine problem
- Redmine does not show 1340 when Klaus asks for a list of issues inside ApCoCoA project.
-
14:58 ApCoCoA Feature #1328: New ApCoCoA UI
- *2019-10-16 Current state*
Klaus summarises the current state as follows:
* early prototype
* JAA confirms that ... -
14:45 ApCoCoA Design #1340: Interactive window and history mechanism
- There is a *single* interactive window.
*Q:* Martin can you confirm this?
The user types input into a blank "new ... -
14:39 ApCoCoA Design #1340 (New): Interactive window and history mechanism
- Issue to summarise design of "interactive window" and its history mechanism.
Also to report progress on implementati... -
14:04 CoCoALib Feature #1339: All PPs of given wdeg
- There used to be a function like this is CoCoA-4, I think.
What was it called? What was its interface?
-
14:03 CoCoALib Feature #1339 (New): All PPs of given wdeg
- Bernhard Andraschko wants a function which produces a list of all PPs with given wdeg (actually stddeg in his case).
...
15 Oct 2019
-
17:52 CoCoALib Feature #1330 (Closed): New syntax for NewQuotientRing
-
17:48 CoCoALib Feature #1329 (Closed): New syntax for creating homomorphisms (PolyAlgebraHom)
-
17:33 CoCoALib Design #1336 (Closed): Rename SparsePolyOps-MonomialIdeal into SparsePolyOps-IdealMonomial?
-
15:33 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib
- I like the name *@RingElems(R, str)@* because it recalls the constructor @RingElem(R, str)@.
The name I suggested ... -
15:29 CoCoALib Feature #1251 (Closed): New function: radical for monomial ideal
-
14:09 CoCoALib Design #1257 (Closed): C++14: use nullptr
- All tests pass, examples too. Even with debugging active.
Checked-in.
Closing. It is not worth devoting any more ... -
13:55 CoCoALib Support #1338: Release CoCoALib-0.99700
- _Add to this list as we do things (or remember things we have already done)_
List of principal changes made:
Bu... -
13:49 CoCoALib Support #1338 (Closed): Release CoCoALib-0.99700
- Everything related to making a CoCoALib release:
* Redmine Roadmap: close or postpone issue
* Redmine Release... -
13:47 CoCoALib Support #1276 (In Progress): Release 0.99650
-
11:49 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- John Abbott wrote:
> My simple idea was just to add say 0.1 to the actual measured time: if minpoly is fast,
> this... -
11:41 CoCoALib Slug #1337 (In Progress): PrimaryDecomposition: a interesting/pathological example
- This example is very very slow because a factor of @MinPolyQuot(t,I,t)@ produces an ideal with a very slow GBasis.
<...
14 Oct 2019
-
22:37 CoCoALib Design #1336 (In Progress): Rename SparsePolyOps-MonomialIdeal into SparsePolyOps-IdealMonomial?
- I agree it would be nice to have them all start the second part of the name with @Ideal@ (or maybe @ideal@?)
Mayb... -
22:22 CoCoALib Design #1336 (Closed): Rename SparsePolyOps-MonomialIdeal into SparsePolyOps-IdealMonomial?
- We have these files:
SparsePolyOps-ideal.C,
SparsePolyOps-IdealOfPoints.C,
SparsePolyOps-IdealZeroDim.C
so, s... -
22:29 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- I have just tried modifying the code, but *it does not work as expected.*
In @SparsePolyOps-Ideal0Dim.C@ around l... -
22:01 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- We have another funny problem: @MinPoly@ is too fast ;-)
The timeout for @GBasis@ depends only on the time spent in ... -
19:31 CoCoALib Design #1257: C++14: use nullptr
- Ha ha! I did not change "nearly" all 0s into @nullptr@ that need to be changed.
I've just changed many more... it i... -
17:32 CoCoA-5 Bug #1230 (In Progress): PrimaryDecomposition with lex ordering
- Not quite :-/
there is still something dodgy:... -
17:03 CoCoA-5 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
- John Abbott wrote:
> Should we postpone this issue to the release after 5.3.0?
I think we should aim at 5.3.0.
I... -
15:17 CoCoALib Support #1039 (Closed): Rename iroot?
- This has apparently all been done (incl. doc, tests, CVS).
No complaints, so closing. -
15:15 CoCoALib Design #1259 (Closed): ThreadsafeCounter is now obsolete?
- Well, I am now sync'd with CVS, so presumably this also works fine for Anna.
Apparently I have deleted the source fi... -
15:10 CoCoALib Feature #1301 (Closed): New function primorial
- I am inclined not to put in any tests since CoCoALib merely delegates all the work to GMP.
Also, as the function is ... -
15:01 CoCoALib Bug #1310 (Closed): RealRoots: gives odd number of roots for deg 6 irred poly
11 Oct 2019
-
22:18 CoCoA-5 Support #1311 (In Progress): THINGS TO DO IN GENOVA September 2019
-
22:16 CoCoA-5 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
- Should we postpone this issue to the release after 5.3.0?
-
22:14 CoCoA-5 Support #1222: Release CoCoA-5.3.0
- I have revised the title since we changed the planned version number ;-)
-
22:12 CoCoA-5 Bug #1335: ManExamples: some problems
- Running the example on the man page for @StandardInput@ is definitely a problem. I do not know how to fix this (othe...
-
22:06 CoCoA-5 Feature #1236: Add "socket" devices
- It would be good to close this soon.
We should test it on the 3 usual platforms: GNU/Linux seems OK to me, Mac? M... -
22:03 CoCoA-5 Bug #1230 (Resolved): PrimaryDecomposition with lex ordering
- I think this has already been done. Changed status to "resolved".
-
22:02 CoCoA-5 Bug #1274 (Closed): SortBy and SortedBy sometimes give wrong result
- This was actually fixed some time ago; I just forgot to tell redmine.
-
21:54 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- I have renamed @jacobian@ to @JacobianMat@; @jacobian@ is now in obsolescent (both for CoCoA-5 and CoCoALib).
-
18:01 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- John Abbott wrote:
> Not really related: there is a function *@jacobian@* which returns the jacobian matrix. Should... -
15:03 CoCoA-5 Design #1334 (Resolved): sylvester or SylvesterMat?
- I have changed the CoCoA-5 manual to use the new name. There was no need to change any tests.
Also added @Sylvest... -
12:06 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- Not really related: there is a function *@jacobian@* which returns the jacobian matrix. Should it be called *@Jacobi...
-
12:01 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- What should @SylvesterMat@ do if one of the args is 0?
An error must be signalled, but how?
Currently the error is ... -
11:57 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- I have now made the impl in C++; more or less a straight copy of the CoCoA-5 code.
It seems to work (on 2 simple e... -
15:18 ApCoCoA Feature #1328: New ApCoCoA UI
- Here are the main features of the UI which Martin wants to preserve:
* allow cut-and-paste of arbitrarily large text...
10 Oct 2019
-
19:26 CoCoA-5 Design #1164 (Closed): Manual: loading manual entries written by users
-
19:20 CoCoALib Slug #1105 (Closed): Primary Decompositon (zero-dim) slow cases
-
18:41 CoCoALib Feature #1329 (Feedback): New syntax for creating homomorphisms (PolyAlgebraHom)
-
09:49 CoCoALib Feature #1329 (Resolved): New syntax for creating homomorphisms (PolyAlgebraHom)
-
18:41 CoCoA-5 Design #1327 (Feedback): Inconvenient PolyRingHom, PolyAlgebraHom
-
09:42 CoCoA-5 Design #1327 (Resolved): Inconvenient PolyRingHom, PolyAlgebraHom
- The power of the new string syntax: can be defined in one line, and the strings are evaluated in the appropriate ring...
-
18:40 CoCoALib Feature #1330 (Feedback): New syntax for NewQuotientRing
-
09:55 CoCoALib Feature #1330: New syntax for NewQuotientRing
- reminder: write doc for cocoalib
-
18:24 CoCoA-5 Support #1024 (Closed): CoCoA Manual: consistent spacing in VarName: TYPE
- John Abbott wrote:
> To see an example of inconsistency, just type *@?:@* into CoCoA. This gives the page for infix... -
17:37 CoCoA-5 Design #168 (Closed): Type info in CoCoA-5 manual
-
17:35 CoCoA-5 Bug #1261 (Closed): ASCII function
- Still no reaction. Anyway, there is a test in @exbugs.cocoa5@. So we can close.
-
17:27 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- One "advantage" of @BlaBlaVector@ and @BlaBlaList@ is that it help reminds the programmer that indices in the first c...
-
14:54 CoCoA-5 Feature #1243 (Resolved): New function: Read a string into a list (of RingElem) -- CoCoA-5
- what about @RingElems(ring, string)@?
Similar to @RingElem(ring, string)@... or too similar?
One thing I do not l... -
09:57 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- reminder: choose name and write doc for cocoa-5
-
08:41 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- For the moment called (also in CoCoA) @ReadExprVector(ring, string)@.
Example @ReadExprVector(R, "x-1, y^3-2, x*z")@... -
17:27 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- John Abbott wrote:
> This fn should be in CoCoALib!
> Move it there and change its name; and put @sylvester@ into o... -
16:10 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- This fn should be in CoCoALib!
Move it there and change its name; and put @sylvester@ into obsolescent. Change the ... -
15:53 CoCoA-5 Design #1334 (In Progress): sylvester or SylvesterMat?
- I vote for @SylvesterMat@
-
17:21 CoCoA-5 Support #1333: Typevectors
- Here are some questions:
* roughly how long might it take to resurrect it?
* could it be easily translated into C++... -
17:12 CoCoA-5 Support #1333: Typevectors
- yes, fixed.
I wonder if I should resurrect this package...
-
16:04 CoCoA-5 Bug #1335: ManExamples: some problems
- John Abbott wrote:
> I now see that the errors reported in the examples about hyperplane arrangements are intentiona... -
09:57 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib
- reminder: write doc for cocoalib
-
09:56 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib
- reminder: write doc for cocoalib
-
09:33 CoCoALib Feature #1332 (Resolved): New function: vector of RingElem from string -- in CoCoALib
-
08:36 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- Dramatic improvement using the new function @ReadExprVector@ in @ex-MVT-Simplicial.C@. (because the new function cre...
-
08:33 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- John Abbott wrote:
> 2019-09-23 This is still very slow. Here is a specific test case:
> [...]
New function @R...
09 Oct 2019
-
21:45 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- I have run an example (in a ring with 4999 indets) with the profiler (it was rather slower than I expected).
The t... -
20:32 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- I have just tried the example from comment 4, but in a ring with 9999 indets (instead of just 999). The time increas...
-
20:41 CoCoA-5 Bug #1335: ManExamples: some problems
- I now see that the errors reported in the examples about hyperplane arrangements are intentional; _i.e._ the example ...
-
14:44 CoCoA-5 Bug #1335 (In Progress): ManExamples: some problems
- Here is a quick summary of the problems with MaxExamples@ (after I have already fixed a few)
*NOTE*: I do not have ... -
14:38 CoCoA-5 Bug #1335 (Closed): ManExamples: some problems
- I have just run @make ManExamples@, and there are some problems.
Fix them.
-
20:29 CoCoA-5 Support #677: Credits to CoCoA-5 contributors
- A simple approach would be to have either a manual page about contributors, or a function which prints out some infor...
-
20:26 CoCoALib Design #1309 (Closed): SmoothFactor: allow limit = 1?
-
19:36 ApCoCoA Feature #1328: New ApCoCoA UI
- Next meeting with Nguetsa: Wed 16th Oct, at 14:00.
Intro to redmine; plan for next 2 weeks. New version of cocoa5.... -
19:33 ApCoCoA Feature #1328: New ApCoCoA UI
- What characteristics of the new UI must be tested?
Here is a list: probably each entry here will correspond to a n... -
18:22 CoCoALib Feature #1330 (Resolved): New syntax for NewQuotientRing
- Now also for non principal ideals...
-
17:53 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib
- Done:
I think I've done it. ... after lots of tedious little mistakes!
Called @ReadExprVector(ring, string)@ in ... -
17:48 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- I think I've done it. ... after lots of tedious little mistakes!
Called @ReadExprVector(ring, string)@ in @RingEl...
08 Oct 2019
-
21:25 CoCoA-5 Design #1334 (Closed): sylvester or SylvesterMat?
- CoCoA-5 has a function called *@sylvester@*; should it not be called *@SylvesterMat@*?
-
21:08 CoCoA-5 Support #1333 (Closed): Typevectors
- In the CoCoA-5 manual there is an entry *@Typevectors@* (which says NYI).
Should it be *@TypeVectors@*?
-
15:55 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib
- maybe @CoCoAVector(R, string)@?
e.g.
@CoCoAVector(NewPolyRing(QQ,"x,y,z"), "x^2-3, y^3-1234567");@
-
15:49 CoCoALib Feature #1332 (Closed): New function: vector of RingElem from string -- in CoCoALib
- In many cases in CoCoALib, and often also in CoCoA-5, it would be convenient to make a vector of RingElem from a stri...
-
15:26 CoCoALib Bug #1331 (In Progress): adj: for matrices 7x7 and bigger
- Here is a simple failing case:...
-
15:24 CoCoALib Bug #1331 (Closed): adj: for matrices 7x7 and bigger
- *@adj@* (previously @adjoint@) gives a misleading and unnecessary error mesg if given a square matrix of dimension at...
-
15:04 CoCoALib Feature #1330: New syntax for NewQuotientRing
- documented, cvs-ed.
-
14:41 CoCoALib Feature #1330: New syntax for NewQuotientRing
- Implemented in CoCoALib, passed to CoCoA-5
For the moment, only for principal ideal... -
12:20 CoCoALib Feature #1330 (Closed): New syntax for NewQuotientRing
- Making a quotient ring is often tedious. In CoCoA-5 we need to write (the best we can do):...
-
12:16 CoCoALib Feature #1329 (Closed): New syntax for creating homomorphisms (PolyAlgebraHom)
- Making a homomorphism is often tedious. In CoCoA-5 we need to write (the best we can do):...
-
12:03 CoCoA-5 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom
- John Abbott wrote:
> It would be nice if we could produce an easier way to make quotient rings. For example somet... -
10:35 CoCoA-5 Design #1327 (In Progress): Inconvenient PolyRingHom, PolyAlgebraHom
- If we find it non-trivial to create a good solution then we really should include some example(s) in the documentatio...
-
08:57 CoCoA-5 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom
- Alternative, without @use@:...
07 Oct 2019
-
18:10 ApCoCoA Feature #1328 (New): New ApCoCoA UI
- The old ApCoCoA UI (based on Eclipse/Java8) no longer works on more recent versions of GNU/Linux.
Implement a new ... -
17:25 CoCoA-5 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom
- Here is the solution I ended up producing, but I found discovering it to be unnatural....
-
17:13 CoCoA-5 Design #1327 (Closed): Inconvenient PolyRingHom, PolyAlgebraHom
- I wanted to do in CoCoA-5 an example/exercise from Martin Kreuzer's lecture course on computer algebra.
It turned ou...
05 Oct 2019
-
12:25 CoCoA-5 Feature #1290: NewPolyRing: allow symbols with just head and no indices?
- Yes, @NewPolyRing(QQ, "alpha")@ is cleaner, simpler, etc.
But if you want to specify several symbols, some of which ...
04 Oct 2019
-
16:50 CoCoA-5 Design #1164: Manual: loading manual entries written by users
- updated manual
-
16:19 CoCoA-5 Feature #1290: NewPolyRing: allow symbols with just head and no indices?
- It works now. (both Mac and Linux)
However, @NewPolyRing(QQ, "alpha");@ is better, isn't it? ;-)
Close? -
16:16 CoCoA-5 Bug #1273: NewPolyRing and SymbolRange together make a crash
- Seems to work now, both on Mac and on Linux.
Close?
-
16:05 CoCoALib Feature #813: Implement "elim" in CoCoALib
- Choose the syntax first...
03 Oct 2019
-
17:41 CoCoALib Slug #1105 (Feedback): Primary Decompositon (zero-dim) slow cases
- I agree: now the timings are no longer that horrible.
Indeed not bad ;-)
We can close this issue.
Have we compar... -
17:18 CoCoALib Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite)
- Currently we have...
-
17:08 CoCoALib Bug #935: ElimMat, ElimHomogMat: complain about zero or negative weights
- Now I cannot remember WHY they should complain....
postpone to next version
-
15:43 CoCoALib Bug #1248 (Feedback): MinPolyQuot: guaranteed and ideal without GBasis
- I think this is all done now: #1248-6
Also the principal ideal has been dealt with: #1249 -
15:24 CoCoALib Feature #1251 (Feedback): New function: radical for monomial ideal
- done.
@ideal SparsePolyRingBase::IdealImpl::myRadical_MonId() const@
in @SparsePolyOps-MonomialIdeal.C@
does NOT m... -
10:43 CoCoALib Feature #1209 (Closed): New function: HasPositiveGrading
- Done. Tested from CoCoA-5 (false for #1211, true in @anna.cocoa5@).
-
10:37 CoCoALib Bug #1211 (Closed): HilbertSeries should check grading
- added a test in @CoCoA-5/tests/ErrMesg.cocoa5@
closed
02 Oct 2019
-
16:27 CoCoA-5 Slug #948 (Resolved): radical is slow (compared to singular) on these examples
- I have just tried a few examples, and they seems to be much quicker (but perhaps not as fast as Singular).
Should we... -
16:22 CoCoA-5 Bug #1226 (Closed): ExternalLibs return empty list
- This has been in feedback for at least 7 months. I cannot quickly and easily check whether the GSL problem still per...
-
16:17 CoCoA-5 Support #169: Font for parameters in manual
- We should try to work through the manual systematically. Perhaps there should be 26 sub-issues, one for each initial...
-
16:10 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases
- This seems to be related to issue #1230
I have just tried the examples from comment 13, but changing the current r... -
12:49 CoCoALib Feature #1251: New function: radical for monomial ideal
- Now the official function in CoCoALib is @radical_tmp@ (will be @radical@ when all code is written in CoCoALib)
Wh... -
12:07 CoCoALib Bug #1211: HilbertSeries should check grading
- The problem is testing it...
-
12:07 CoCoALib Bug #1211 (Feedback): HilbertSeries should check grading
- fixed using @HasPositiveGrading@, and proper testing.
01 Oct 2019
-
17:42 CoCoA-5 Bug #1325 (Closed): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- When typing in code into a CoCoA-5 buffer, emacs does not recognise that the keyword *@until@* as marking the end of ...
-
17:37 CoCoA-5 Bug #1104: Eigenvectors: inconsistent return type
- Even the example in the manual exhibits this... that's embarrassing. We should decide what to do, and then take acti...
-
15:42 CoCoALib Feature #1249 (Closed): principal ideal has a Gbasis
-
11:57 CoCoALib Feature #1249: principal ideal has a Gbasis
- Has this already been done?
I think what Anna showed me in Genova, indicated that it has been done. If so, we can c... -
14:53 CoCoA-5 Design #1120 (Resolved): Web site
- Can we close this issue now?
-
14:52 CoCoA-5 Design #168: Type info in CoCoA-5 manual
- Can we close this now?
-
14:49 CoCoA-5 Design #1292: Interpreter: fns which accept INT or RAT
- Some cases where it may not be so clear:
* *@den@* and *@num@*
* *@SmoothFactor@*
* *@floor@* and *@ceil@*
(... -
14:44 CoCoA-5 Bug #1230 (In Progress): PrimaryDecomposition with lex ordering
- The given example seems to work now. Has this been fixed?
If so, close; otherwise postpone to next version.
-
14:41 CoCoA-5 Support #1220 (Closed): NewRingFp obsolescent; superseded by NewZZmod
-
14:35 CoCoA-5 Support #1241: GDPR: website, mailing list
- We should seek advice about this.
-
14:33 CoCoA-5 Feature #912: Add TUTORIALs to online manual
- I have added two tutorials: one about giving *feedback and reporting bugs*, the other about some *basic emacs* comman...
-
14:31 CoCoA-5 Slug #709: Speed of some Normaliz calls (NmzComputation)
- We should check what happens with current (2019-10-01) versions of CoCoALib and Normaliz.
-
14:27 CoCoA-5 Design #476: Review utility of package IO
- If the package exports only *@format@*, perhaps that package name should be changed to @format@?
-
14:25 CoCoA-5 Support #1240 (Closed): John's visit Feb 2019
- Closing this because the visit is over -- this does not imply that we achieved all that we had hoped to. :-(
-
14:21 CoCoA-5 Feature #368: port SmithNormalForm (CoCoA-4)package to CoCoA-5
- I think Florian had done some implementing; perhaps we can delegate to him?
-
14:19 CoCoA-5 Support #1217 (Rejected): CoCoA-5 tests directory: cleaning
- This is apparently a duplicate of #1318, so rejecting.
-
14:11 CoCoA-5 Bug #1321 (Closed): RealRoots fails on -x^2
- I have added @RealRoots(-x^2)@ to the exbugs test suite.
Closing.
-
14:05 CoCoA-5 Design #1164: Manual: loading manual entries written by users
- The manual entry for @ReloadMan@ needs to be updated, assuming that the impl is meant to be public.
-
13:34 CoCoALib Bug #1300 (Closed): CoprimeFactorBasis: mishandles negative args
- Added a test (to @test-bug1.C@).
Corrected name in doc in @doc/txt/NumTheory.txt@.
-
12:22 CoCoALib Slug #866: implicit, ImplicitHypersurface: improve output verification
- 2019-10-01: I have just tried the example from comment 2, and now it takes about 5.9s on my computer.
-
12:15 CoCoALib Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis
- We should either close this issue (almost immediately), or postpone it (to 0.99700?).
-
12:07 CoCoALib Feature #813: Implement "elim" in CoCoALib
- I have increased this to max priority because I believe it is trivial to achieve, and it would be nice to close the i...
-
12:00 CoCoALib Design #707: MatrixOrderingMod32749Impl: test and write documentation!
- Can we use a bigger modulus now that we are effectively assuming 64-bit platform? (are we?)
-
11:55 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases
- Here is a short file which checks the computation times of the examples given above:...
-
11:37 CoCoALib Feature #259 (Feedback): Squarefree(?) GCD-free basis
- I changed the names (not sure when).
A problem with the integer version is that the "squarefree" part is potential... -
11:31 CoCoALib Bug #1250 (Closed): SEGV: CoCoALib with Normaliz in multithreading
- This has been in "feedback" for 7 months, so I'm closing.
30 Sep 2019
-
20:00 CoCoA-5 Support #1315 (In Progress): Manual entry about reporting bugs?
- I have added a "tutorial" page about giving feedback and reporting bugs.
I was not sure where to put it, but perha... -
19:42 CoCoALib Slug #1324: Improve RootBound
- *CAREFUL* with the suggestions below: it is likely the @RootBound@ is used internally when factorizing or computing s...
-
19:40 CoCoALib Slug #1324 (In Progress): Improve RootBound
- It maybe possible to improve @RootBound@ (in some cases) by using @SqfreeFactor@.
Also the CoCoA-5 prototype @Good... -
19:32 CoCoALib Support #1263: Tidy CoCoALib test directory
- I have transferred test-bugN into test-bug1 for N=6,7,8,9. So far, so good.
-
16:14 CoCoALib Feature #1323: Improve RealRoots: compute sqfr decomp
- Sqfr decomp should always be reasonably quick; full factorization could be slow if the input is "nasty".
One could... -
16:11 CoCoALib Feature #1323: Improve RealRoots: compute sqfr decomp
- I have already begun writing a package called @RRList@.
I think this is related, esp. as regards combining the inter... -
16:09 CoCoALib Feature #1323 (New): Improve RealRoots: compute sqfr decomp
- Consider changing @RealRoots@ so that it computes the sqfr decomp of the input poly, then works on the separate piece...
29 Sep 2019
-
21:57 CoCoA-5 Bug #1321 (Feedback): RealRoots fails on -x^2
- Indeed I had "fixed" it, but there was a slight mistake: I forgot to guarantee that the LC of the poly handed to the ...
Also available in: Atom