Activity
From 19 Apr 2015 to 18 May 2015
18 May 2015
-
21:35 CoCoA-5 Bug #713: External libs: interrupting not easy
- GNU has some useful looking documentation:
@http://www.gnu.org/software/libc/manual/html_node/Signal-Sets.html#Signa... -
21:09 CoCoA-5 Bug #713: External libs: interrupting not easy
- I am considering the following behaviour:
* each time ctrl-C is received a counter is increased
* if the CoCoA inte... -
21:01 CoCoA-5 Bug #713: External libs: interrupting not easy
- I have found this web page which gives some advice:
@http://stackoverflow.com/questions/103280/portable-way-to-catch... -
16:31 CoCoA-5 Bug #713: External libs: interrupting not easy
- Christof has tried some experiments with GAP, and he noticed that a single ctrl-C appeared to do nothing, but 2 ctrl-...
-
16:25 CoCoA-5 Bug #713: External libs: interrupting not easy
- Another possible (simple) approach is to offer a command line flag which stops @CoCoAInterpreter@ from intercepting s...
-
15:44 CoCoA-5 Bug #713: External libs: interrupting not easy
- Perhaps the best solution would be to leave the code as it is, and to write better documentation. After all a call t...
-
15:42 CoCoA-5 Bug #713: External libs: interrupting not easy
- Remember that a (portable) signal handler cannot do much.
Christof was puzzled when running some Normaliz tests th... -
15:35 CoCoA-5 Bug #713 (Closed): External libs: interrupting not easy
- @CoCoAInterpreter@ intercepts @SIGTERM@ signals; this means that a long computation happening inside an external lib ...
-
17:14 CoCoA-5 Bug #698 (Resolved): Emacs UI: problems with packages on windows
- John Abbott wrote:
From issue #699:
<quote>
JAA notes that Emacs lisp has the built-in variable system-type whic... -
17:10 CoCoA-5 Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
-
16:57 CoCoA-5 Support #706 (Resolved): meaningful error for IDEAL <= IDEAL
- Done.
-
15:24 CoCoA-5 Bug #712 (In Progress): External Libs: missing dependencies in Makefiles
- The CoCoALib binaries related to Normaliz (_e.g._ *@ExternalLibs-Normaliz.o@*) do not depend on the Normaliz source f...
-
15:20 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- Christof says that Normaliz uses a @bool@.
Should CoCoALib simply follow what Normaliz does for its normaliz relat... -
15:02 CoCoA-5 Feature #711: External Libs: print credits?
- Anna Maria Bigatti wrote:
> Done in init.cpkg5.... but that's not good: it does not see the "--no-preamble" flag :-(... -
12:21 CoCoA-5 Feature #711: External Libs: print credits?
- We would like authors to cite CoCoA when they use in the their research. Presumably then they should also cite any e...
-
12:12 CoCoA-5 Feature #711 (In Progress): External Libs: print credits?
- Done in init.cpkg5.... but that's not good: it does not see the "--no-preamble" flag :-(
undoing it.
-
11:11 CoCoA-5 Feature #711: External Libs: print credits?
- I propose printing out a message about external libraries at the same time as the banner is printed out -- and the me...
-
11:05 CoCoA-5 Feature #711: External Libs: print credits?
- One piece of software printed out a message every time a Normaliz function was called: this produced thousands of mes...
-
10:59 CoCoA-5 Feature #711 (Closed): External Libs: print credits?
- At the Normaliz workshop I noticed that two other pieces of software printed out "credits" when external libraries we...
-
12:16 CoCoALib Feature #222: Printing polynomials - spaces between terms
- This issue has been idle for another year.
-
10:38 CoCoA-5 Feature #700: Which external libs are present?
- It would also be nice if there were an indication of which version of each external library is present. The ability ...
17 May 2015
-
10:33 CoCoA-5 Slug #709: Speed of some Normaliz calls (NmzComputation)
- *TO DO* JAA can try the same computation but from CoCoALib; perhaps some time is spent converting to CoCoA-5 data str...
-
10:17 CoCoA-5 Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)
- JAA has done a few speed comparisons between calling @normaliz@ directly from the command line and calling @NmzComput...
-
10:31 CoCoALib Design #710: Update normaliz interface?
- The revised @normaliz@ interface aims to be backward compatible.
JAA prefers the new names in @normaliz@, and woul... -
10:29 CoCoALib Design #710 (In Progress): Update normaliz interface?
- Normaliz is about to release version 3.0.
This has a revised interface (_e.g._ new names for certain existing feat... -
10:27 CoCoALib Feature #253: W.Bruns's wish list
- Can we finish this issue in the near future?
-
10:12 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- Some ideas are:
* a global flag which says what the default verbosity is
* an optional arg to calls to Normaliz whi... -
09:55 CoCoA-5 Feature #708 (Closed): ExternalLib Normaliz: verbose flag?
- Is it possible to make Normaliz be verbose from the CoCoA-5 interface?
Christof says he/they often find it help to s... -
09:51 CoCoA-5 Feature #700 (Feedback): Which external libs are present?
15 May 2015
-
19:28 CoCoALib Design #683 (Resolved): Module index component in internal compressed representation
- tested both with @unsigned int@ and @unsigned char@: it works!!...
-
18:43 CoCoALib Design #683: Module index component in internal compressed representation
- Bug probably found.... my fault
John has implemented in GBEnv.C... -
19:11 CoCoALib Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!
- Some notes:
In @OrdvArith.H@ there is this comment:... -
18:47 CoCoALib Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!
- 32749 is the biggest prime with some guarantee for <I-cant-remember-what>, so the order matrix is actually over ZZ/(3...
-
15:51 CoCoALib Bug #705 (Feedback): DetDirect calls myAddMul with 0 argument -- funny compilation problem??
- I still don't understand why it seemed to work (maybe a missing cvs checkout)
The problem is a simple (when you know ... -
12:28 CoCoALib Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??
- with (CoCoA-5) input:...
-
14:01 CoCoA-5 Support #706 (Closed): meaningful error for IDEAL <= IDEAL
- CoCoA-4 had the syntax @I <= J@ which is now computed via @IsContained(I, J)@.
Investigate on how to return a meanin... -
11:27 CoCoA-5 Feature #704 (Closed): rename MinGensGeneral?
- there are two functions: *MinGens* (for homogeneous case) and *MinGensGeneral* (trivial algorithm for non homogenous ...
-
11:03 CoCoA-5 Feature #466 (Feedback): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
- Anna Maria Bigatti wrote:
> Added entry "All CoCoA Commands".
> It only gives the list of entries with type "comman... -
10:55 CoCoA-5 Bug #643 (Feedback): GenRepr fails if there are zero generators
- Done (hilop.cpkg5)
-
09:12 CoCoALib Design #703 (New): Add more operations between modules (CoCoALib)
- Add more module operations: +, colon, ...
(there are also some operations for modules in CoCoA-5 packages)
The ma... -
09:05 CoCoA-5 Feature #702: Add more operations for modules
- Add more module operations: +, colon, ...
Not much to do for CoCoA-5: most of the work is proper design in CoCoALib. -
09:03 CoCoA-5 Feature #702 (New): Add more operations for modules
13 May 2015
-
17:59 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
- An advantage of @vector<bool>@ is that it avoids the problem/incompatibility of indices in C++ starting from 0 (both ...
-
17:20 CoCoA-5 Feature #700: Which external libs are present?
- JAA and AMB think that there is little need to have a similar function in CoCoALib since there are the CPP defines @C...
-
16:41 CoCoA-5 Feature #700: Which external libs are present?
- Done.
Just fiddling with the string returned by... -
12:09 CoCoA-5 Feature #700: Which external libs are present?
- Some ideas:
* a function @ExternalLibs@ which returns a list of strings
* a function @HaveExternalLib@ which expect... -
12:08 CoCoA-5 Feature #700 (Closed): Which external libs are present?
- It might be nice to have a way in CoCoA-5 to know which external libs are actually present.
-
14:40 CoCoALib Slug #701: Makefile; limit dependencies on external libs
- This issue is not so important (hence priority *low*); not even sure it is worth fixing, as it may complicate the bui...
-
14:37 CoCoALib Slug #701 (Rejected): Makefile; limit dependencies on external libs
- If you have CoCoALib already (configured and) compiled, and want to repeat compilation but also including an external...
12 May 2015
-
18:20 CoCoA-5 Bug #699: Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- John Abbott wrote:
> JAA notes that Emacs lisp has the built-in variable *@system-type@* which gives information abo... -
17:13 CoCoA-5 Bug #699: Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- JAA notes that Emacs lisp has the built-in variable *@system-type@* which gives information about which OS is running...
-
17:09 CoCoA-5 Bug #699: Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- Anna Maria Bigatti wrote:
> So, we cannot remember why we did this change: probably to allow spaces in path.
We r... -
16:47 CoCoA-5 Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- In earlier versions @cocoa5-executable@ was @CoCoAInterpreter@.
Now it is the script @cocoa5@ (and this caused prob... -
15:36 CoCoA-5 Bug #698: Emacs UI: problems with packages on windows
- The problem was solved and tested on a student's computer.
It is enough to add one line in the file *<cocoadir>/emac... -
15:29 CoCoA-5 Bug #698 (Closed): Emacs UI: problems with packages on windows
- The recent installation of CoCoA for the Computer Algebra course in Genoa showed a problem on Windows in finding pack...
11 May 2015
-
17:54 CoCoALib Feature #623 (Closed): Inverse of a matrix over ZZ
- Done.
If the matrix is over an IntegralDomain then it is mapped into FractionField.
Then the inverse is mapped back... -
16:05 CoCoALib Feature #625 (Closed): NumTheory: sieve of Eratosthenes
- Anna says OK for the name -- hard to find a shorter name which is clearer.
I have clarified the manual.
Closing.
-
16:02 CoCoALib Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
- I noticed that some of Christof's code uses @rank@; I have written to him asking whether it would be resaonable to ch...
-
15:32 CoCoALib Bug #631 (Feedback): Ambiguous: rank for matrix (in ex-matrix1.C)
- I think everything has now been done.
-
14:43 CoCoA-5 Bug #697 (Closed): Interpreter: Avoid outputting an empty line after each line of input
- CoCoA-5 prints an empty line after each input line which outputs nothing.
Might be related to the fact that standa... -
14:07 CoCoALib Support #604 (Closed): Release: CoCoALib-0.99535
10 May 2015
-
20:02 CoCoALib Feature #625: NumTheory: sieve of Eratosthenes
- Currently the function is called @eratosthenes@; is there a better name?
The doc needs slight clarification @erato... -
16:03 CoCoALib Feature #625: NumTheory: sieve of Eratosthenes
- Can we close this?
09 May 2015
-
15:48 CoCoALib Feature #678: Accumulator (like a geobucket)
- The implementation will almost surely be best done via mem fns since the actual inner working of an "accumulator" wil...
08 May 2015
-
13:32 CoCoA-5 Feature #622 (In Progress): New function: RandomSubset
- Following CoCoALib conventions the return type should be @vector<long>@.
What should the values in the vector be? ... -
11:58 CoCoALib Feature #215: Janet Bases: check and include code in CoCoALib (first prototype)
- This issue has status @Feedback@ but the percent done is just 20%.
What is the actual status? Should this issue be ... -
11:50 CoCoALib Bug #15: Adjoint of a non-invertible matrix
- I have implemented a first version of @AdjByDetOfMinors@; it may already be obsolete because I have also implemented ...
-
11:39 CoCoALib Support #696 (Closed): test-OrderedRing: activate or eliminate?
- There is a file @test-OrderedRing1.C@ which is not actually executed.
Either fix it so that it works (currently fail... -
11:37 CoCoALib Support #695: Remove cruft from test files
- Commented out code could make sense in the following cases:
* the test is valid, but the relevant CoCoALib code is N... -
11:34 CoCoALib Support #695 (New): Remove cruft from test files
- Several test files contain commented out code; this should either be removed or made active (or perhaps add a clear c...
-
11:32 CoCoALib Support #694: In test files: when is assert.H needed?
- Actually I am rather surprised that it is not necessary for all tests.
Investigate why it works without explicitly... -
11:30 CoCoALib Support #694 (Closed): In test files: when is assert.H needed?
- Some test files explicitly include @CoCoA/assert.H@ but many do not.
Check that it is truly needed when it is pres... -
11:28 CoCoALib Design #642 (Resolved): Move code in test file into namespace CoCoA
- JAA has finished all test files. Will check-in, then we can verify on several platforms that all is well.
-
11:26 CoCoALib Feature #623: Inverse of a matrix over ZZ
- Here is an invertible 3x3 matrix...
-
11:21 CoCoA-5 Feature #652: Flag to enable/disable printing of list of loaded packages
- The excesive verbosity has arisen again: @Rank@ was exported from 2 packages (@BackwardCompatible@ and @obsolescent@)...
-
09:15 CoCoALib Support #621: Release: CoCoALib-0.99536
- generated cvs log...
07 May 2015
-
16:57 CoCoALib Design #642: Move code in test file into namespace CoCoA
- JAA has now done @test-[J-Q]*.C@ and @test-[a-h]*.C@
-
15:36 CoCoALib Bug #693 (Closed): Makefile_dependencies in src/tests/
- The file @src/tests/Makefile_dependencies@ seems to be suspiciously simple. Either it is wrong or it is pointless. ...
-
13:50 CoCoALib Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- Anna Maria Bigatti wrote:
> - when @IsZeroDivisor@ is called and should return @false@ then its ring is not integral...
04 May 2015
-
15:43 CoCoA-5 Support #692: Local variables hiding out ones at top level
- In the example given I note that @x@ is actually a *protected* variable -- perhaps even more reason for a warning?
-
15:11 CoCoA-5 Support #692 (Rejected): Local variables hiding out ones at top level
- In function definitions local variables hiding outer ones are signalled by a Warning.
At top level not. This might ...
30 Apr 2015
-
10:07 CoCoALib Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- Also @x/i@ is working now.
(will cvs it this afternoon) -
07:38 CoCoALib Feature #385: Design new errors using inheritance
- ...
29 Apr 2015
-
19:03 CoCoALib Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- Polishing up all the code is always long and tedious....
Anyway!
The code is there and it works.
I still have prob... -
15:46 CoCoALib Slug #691 (In Progress): Matrix determinant over ZZ
- Hint: @DenseMatrix.C:462@ the dispatch function @DenseMatImpl::myDet@ does not handle matrices over ZZ specially -- t...
-
11:33 CoCoALib Slug #691: Matrix determinant over ZZ
- Just as a speed comparison reference I computed @3^(3^17)@ on both machines:
* old G4 took about 50s (on battery pow... -
11:22 CoCoALib Slug #691: Matrix determinant over ZZ
- I've just tried a 1000x1000 matrix: the old G4 took about 550s, my newer MacBook Pro took 1400s. Embarrassing!
*NOT... -
10:32 CoCoALib Slug #691: Matrix determinant over ZZ
- What?!? My dad's ancient iBook G4 is just as fast as my much newer MacBook Pro???
Something must be seriously wro... -
10:31 CoCoALib Slug #691 (Closed): Matrix determinant over ZZ
- I tried computing the following:...
24 Apr 2015
-
17:59 CoCoA-5 Feature #622: New function: RandomSubset
- Let's start with just yours, for many reasons:
- it is simpler, as you said
- indeed that's also what I needed ;-)
... -
11:23 CoCoA-5 Feature #622: New function: RandomSubset
- We could simply have both; that way the user can choose which is more convenient (or efficient).
If we do choose t... -
11:20 CoCoA-5 Feature #622: New function: RandomSubset
- I wanted a @RandomSubset@ function which generated a random subset of @1..n@ of cardinality @r@. I was surprised whe...
-
11:34 CoCoA-5 Feature #531: Package protected variables should know which package protected them
- I do find it annoying when CoCoA says that name @XYZ@ is a package-exported variable but then does not tell me which ...
23 Apr 2015
-
19:12 CoCoALib Feature #690: Fault tolerant rational reconstruction: implement simultaneous version
- What exactly should the interface be?
Who does the Chinese remaindering?
Which single rational reconstructor shou... -
19:10 CoCoALib Feature #690 (New): Fault tolerant rational reconstruction: implement simultaneous version
- Implement the algorithm for simultaneously reconstructing several rational numbers.
-
19:09 CoCoALib Feature #689: Fault tolerant rational reconstruction: make bad factor publicly accessible
- Suggested name of the new fn is @BadMFactor@; other candidates?
-
19:07 CoCoALib Feature #689 (Closed): Fault tolerant rational reconstruction: make bad factor publicly accessible
- In @RatReconstructByContFrac@ the bad factor of the combined modulus is computed; make it publicly accessible
22 Apr 2015
-
14:38 CoCoALib Slug #688: PolyAlgebraHom (PolyRingHom) evaluate multivariate polynomials
- I thought that it could be improved using geobuckets, so I searched the actual code performing the computation.
It i... -
13:53 CoCoALib Slug #688: PolyAlgebraHom (PolyRingHom) evaluate multivariate polynomials
- We found this slug while workig on @Implicit@ (evaluation for checking the final output can be very slow)
-
13:52 CoCoALib Slug #688 (New): PolyAlgebraHom (PolyRingHom) evaluate multivariate polynomials
- Application of PolyAlgebraHom can be unreasonably slow (this is indeed a problem in optimizing multivariate evaluation)
20 Apr 2015
-
13:21 CoCoALib Design #686 (New): myAddMul in poly rings
-
13:17 CoCoALib Design #686 (In Progress): myAddMul in poly rings
- Better names:
* *@myMoveLMToFront@*
* *@myMoveLMToBack@*
* *@myAddMulLM@*
-
11:59 CoCoALib Design #686: myAddMul in poly rings
- John Abbott wrote:
> Mario Albert calls @myAddMul@ in a "bad" way in @TmpJBEnv.C:323@.
> From his comments it seems... -
12:34 CoCoALib Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
- Renaming is done now. Isn't it?
-
11:17 CoCoA-5 Bug #684 (Closed): Emacs UI: wrong name after auto-inserting enddefine
- As it works for me and for Anna, I'm closing the issue. The EmacsUI code really needs to be completely rewritten, bu...
-
10:31 CoCoA-5 Bug #684: Emacs UI: wrong name after auto-inserting enddefine
- It works for me.
-
10:26 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
- also related to #91
19 Apr 2015
-
20:47 CoCoA-5 Slug #687: Builtin fn makes unnecessary copy of arg
- I ran the following test:...
-
20:36 CoCoA-5 Slug #687 (Closed): Builtin fn makes unnecessary copy of arg
- While testing/profiling @IndetsIn@ (defined in @BuiltinOneLiners.C@) I noticed that the arg was copied by the fn, mak...
-
18:17 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
- I am still undecided about the "return" value (and its type):
* *A* a list of integer indices (presumably of type @ve...
Also available in: Atom