Activity
From 07 Apr 2014 to 06 May 2014
06 May 2014
- 18:14 CoCoA-5 Support #208 (Closed): describe $package
- It seems OK now (Anna's happy too), so closing.
- 15:54 CoCoA-5 Design #473 (Closed): Multiline string literals - useful or obsolescent?
- I have implemented option *(1)* _i.e._ eliminated all code to do with reading multiline string literals.
Documenta... - 15:01 CoCoA-5 Support #548: Printing rings with ID
- John Abbott wrote:
> Here is an idea: simple to implement, but perhaps not so nice to use?
> * a ring prints out si... - 14:39 CoCoA-5 Support #548: Printing rings with ID
- Here is an idea: simple to implement, but perhaps not so nice to use?
* a ring prints out simply as @ring(1)@, @ring... - 14:32 CoCoA-5 Support #548: Printing rings with ID
- Should this topic be in CoCoALib rather than CoCoA-5?
From the point of a user it would be very handy if the C5 ex... - 14:19 CoCoA-5 Support #548: Printing rings with ID
- And in CoCoA-5 would look like this:...
- 14:08 CoCoA-5 Support #548 (In Progress): Printing rings with ID
- I tried to see how it looks (just in RingFp.C).
This would be the output for test-RingHom1 .... not bad, I think
<p... - 12:28 CoCoA-5 Support #548: Printing rings with ID
- Each ring in CoCoA has an ID number (they start at 1 and are assigned incrementally). It'd be better to print those ...
- 12:09 CoCoA-5 Support #548 (Closed): Printing rings with ID
- for some rings there is a unique implementation: *RingQQ()*, *RingZZ()*, *RingQQt(n)*.
For all the others the constr... - 11:47 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- Ahhh! OK I have fixed @mpz_log@ now; sorry, I had overlooked a @M_LN2@.
- 11:37 CoCoALib Bug #547: elim using RingTwinFloat triggers error "SERIOUS"
- simpler example: both NewFractionField and NewRingTwinFloat seems necessary to trigger the error...
05 May 2014
- 20:17 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- Made the changes requested in previous comment.
No idea why you are not seeing the updated @mpz_log.c@...?
- 15:53 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- One addition that I forgot to mention: I had to include...
- 19:46 CoCoALib Bug #547: elim using RingTwinFloat triggers error "SERIOUS"
- I tried the same input with lower precisions and got @InsuffPrec@ errors; but when I quit CoCoA-5 there were quite a ...
- 19:44 CoCoALib Bug #547 (New): elim using RingTwinFloat triggers error "SERIOUS"
- The following (C5 input) provokes a @SERIOUS@ error...
- 15:07 CoCoA-5 Design #546 (Closed): ideal wants LIST of RINGELEM
- It is inconvenient (perhaps even embarassing) that you cannot do this:...
- 12:37 CoCoA-5 Support #208: describe $package
- I suggest moving @Functions@ (currently built-in!?!) to the package @obsolete.cpkg5@
*20140508* OK done this (after ... - 12:14 CoCoA-5 Support #251: How to add a test for CoCoA-5 (CoCoAInterpreter)
- I have recently added a new C5 test (@exbugs.cocoa5@) and was surprised to find that it produces output. What happen...
- 12:10 CoCoA-5 Feature #188: CoCoAManual: entries for operators
- Could we condense the syntax and description so that the pages occupies less vertical space?
- 12:08 CoCoA-5 Feature #188 (Closed): CoCoAManual: entries for operators
- The man page is much improved, and easier to find. Good enough for now; maybe experience will help improve it in the...
02 May 2014
- 17:49 CoCoA-5 Bug #471 (Closed): Nested multiline comments
- Current solution is satisfactory, so closing!
- 17:47 CoCoA-5 Design #481 (Closed): Multiline comments -- obsolescent?
- Current approach is satisfactory (& even fairly backward compatible if you don't nest @/*...*/@ style comments)
Cl... - 17:44 CoCoA-5 Support #495 (Closed): CoCoAManual: add page about creating lists
- The current doc is satisfactory (& certainly much improved); maybe future experience with students will help make it ...
- 17:39 CoCoA-5 Bug #544: sorted gives wrong answer sometimes
- I have added a new C5 test file @exbugs.cocoa5@ which contains a simple verification that @sorted@ works on some rand...
- 17:21 CoCoA-5 Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings
- After the mindboggling refresher course in regexps, I'm closing this because it all (magically?) works.
- 17:18 CoCoA-5 Bug #462 (Closed): Emacs UI: semicolon problems
- It works fine both for me and for Anna -- after >2 weeks' testing. Closing!
- 17:05 CoCoA-5 Feature #414: New fn to increase max recursion depth
- Adding note about original requester: @andrei_zarojanu@ (at @yahoo.com@)
I'll email him about our partial solution -... - 16:53 CoCoA-5 Feature #414 (Closed): New fn to increase max recursion depth
- A proper solution will be very costly and highly invasive (and Giovanni's not keen to help). Furthermore, it is prob...
- 16:49 CoCoA-5 Feature #502 (Closed): New fn/object type: timer
- @TimeFrom@ is a satisfactory KISS solution. Still happy after 3 weeks, so closing.
- 16:35 CoCoA-5 Support #489 (Feedback): CoCoAManual: Doc for strings
- I like the current doc. Changing to feedback.
- 16:12 CoCoALib Bug #538 (Resolved): Compilation problem in TmpMorsePaths.C
- I have modified th fn signature to teh following:...
- 14:48 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- OK I have modified @mpz_log.c@; should be fine now.
Also I have CVSed everything.
@Christof: could you confirm th... - 11:21 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- Thanks, that should make the compilation a lot easier! I can test it next week, is it CVSed?
Note that there is also ...
30 Apr 2014
- 18:38 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- I have removed most uses of @size_t@ in CoCoALib.
The template fn @len@ now does an automatic cast to @long@ from @s... - 14:39 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- I believe I have fixed the overloading problem, and replaced @M_PI@ with @4*atan(1.0)@.
Right now I don't have a g... - 14:56 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Problem (2) -- continued
compilation with @-Woverloaded-virtual@... - 09:32 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Anna Maria Bigatti wrote:
> Next to investigate
> Problem (2)
> [...]
@-Woverloaded-virtual@ is accepted by my compil... - 09:27 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- problem (4)...
- 09:25 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- problem (3)...
- 09:21 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Next to investigate
Problem (2)... - 09:19 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Problem (1) [solved]...
- 09:11 CoCoA-5 Bug #545 (Closed): Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Bruno Simoes found some warnings and a error in a cocoa-5 test.
*problem (1) struct/class* fixed
*problem (2) ove...
29 Apr 2014
- 17:32 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- For the new normaliz version I did again a compilation on Windows. Here are my findings for CoCoALib 0.99533:
The ...
28 Apr 2014
- 15:52 CoCoA-5 Bug #544 (Feedback): sorted gives wrong answer sometimes
- The problem was that after this step...
- 12:55 CoCoA-5 Bug #544: sorted gives wrong answer sometimes
- Easier to debug (working on it)
[6, 28, 39, 1, 40, 41, 46, 7, 2, 20, 21, 3, 0, 5, 22, 23, 24, 38, 44, 37, 4, 30, 36,... - 12:09 CoCoA-5 Bug #544: sorted gives wrong answer sometimes
- As I suspected the problem seems to depend only on the relative sizes of
the list elements; here is the same example... - 11:56 CoCoA-5 Bug #544: sorted gives wrong answer sometimes
- The source code is in package @list.cpkg5@.
I found no examples of short lists; the source code uses @InsertionSort@... - 11:54 CoCoA-5 Bug #544 (Closed): sorted gives wrong answer sometimes
- ...
24 Apr 2014
- 20:26 CoCoA-5 Support #463 (Closed): Make man page for "It" easier to read
- The mange page is easy to find, and easy to read/comprehend now.
Closing.
- 20:23 CoCoA-5 Support #334 (Closed): CoCoAManual: entry for "and", "or", "not" operators
- The new pages are fine now. Closing.
- 20:16 CoCoA-5 Design #301 (Closed): How to obtain an integer from a finite field element? AsINT?
- Closing because it's all been working fine for ages; no point in leaving it in feedback.
- 19:57 CoCoA-5 Design #475 (Closed): Eliminate package approx
- Old fn is @FloatApprox@ obsolete -- there was no sense in making it decimal (not now that @FloatStr@ exists).
New ... - 19:53 CoCoA-5 Feature #419 (Closed): FloatStr
- Completed doc & testing. Anna's happy too. Closing.
- 19:09 CoCoA-5 Design #534 (Closed): Remove float.cpkg5
- I have now removed @float.cpkg5@.
Everything seems to work just fine.
Checked/updated doc too.
- 16:34 CoCoA-5 Bug #543 (Closed): Interpreter: problem when calling the manual with trailing spaces and comments
- This does not work...
- 16:30 CoCoA-5 Support #542: CoCoAManual: improve part on data-types
- While doing this massive change removing all now useless *types* I'm also doing some cleaning in the documentation.
... - 09:51 CoCoA-5 Support #542: CoCoAManual: improve part on data-types
- Now that I started this work I see that it *has to be finished* urgently.
As it was, the documentation wasn't just o... - 13:16 CoCoA-5 Bug #94 (Closed): Default reason for protected variables
- Closing after interactive testing with Anna. Made some minor variations on the suggestions in comment-2.
Test cas...
23 Apr 2014
- 17:22 CoCoA-5 Support #542 (In Progress): CoCoAManual: improve part on data-types
- More updates done in "commands" *syntax*.
Now I think that each *chapter* should be essentially empty and just give s... - 16:14 CoCoA-5 Support #542: CoCoAManual: improve part on data-types
- Now in CoCoAHelp.xml we should tag the types as *type* or *rtn* in the syntax like this:...
- 15:08 CoCoA-5 Support #542 (Closed): CoCoAManual: improve part on data-types
- The old manual had a part about data-types.
Recover it and improve it. - 16:29 CoCoA-5 Support #541 (In Progress): Unify releases for Linux 32 and Linux 64
- I have produced a new starting script for CoCoA-5 which autodetermines the directory containing the script (and thus ...
- 11:23 CoCoA-5 Support #541 (Closed): Unify releases for Linux 32 and Linux 64
- Make it easier for a Linux user to get the right version of CoCoA-5.
One solution would be to unify the 32-bit and 6... - 10:34 CoCoA-5 Feature #270: Distribution for linux
- Oscar, could you tell me if this works for you (and tell me what @uname -a@ gives?)
http://cocoa.dima.unige.it/downlo...
22 Apr 2014
- 16:58 CoCoALib Feature #540 (Feedback): Progress reporter
- I have implemented @ProgressReporter@.
Checked in with doc and example!
State -> feedback!
- 16:57 CoCoALib Feature #540 (Closed): Progress reporter
- It would be handy to have utility that prints out occasional "progress reports" when conducting long iterative comput...
- 13:50 CoCoA-5 Feature #414 (Resolved): New fn to increase max recursion depth
- Here is the very simple test case I used:...
- 13:41 CoCoA-5 Bug #441 (Feedback): Emacs UI: C-c C-e does not ignore keywords inside strings
- I have just tried the @NotWorks@ example from comment-5; it works correctly with the current Emacs UI code. Changing...
- 11:51 CoCoA-5 Support #489: CoCoAManual: Doc for strings
- Nobody thought anything for three days :-(
Anyway, I have revised the doc so it now has the structure proposed in ...
19 Apr 2014
- 16:35 CoCoA-5 Support #489: CoCoAManual: Doc for strings
- I'm undecided how best to organize the manual page(s) for strings.
Currently they're in a "funny" section of the manu... - 11:55 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
- I've sent the files -- they ought to be translated into english...
17 Apr 2014
- 20:18 CoCoA-5 Feature #414: New fn to increase max recursion depth
- Works OK up to stack size of about 5400; at 5500 I get a SEGV. Why????
Also get SEGV without @--stacksize@ option; ... - 20:10 CoCoA-5 Feature #414: New fn to increase max recursion depth
- I've implemented a "quick fix":
* ctor @RuntimeEnvironment@ now has extra arg for specifying @MaxStackSize@
* ctor fo... - 19:07 CoCoA-5 Support #208: describe $package
- *Anna* will check the manual!
- 19:02 CoCoA-5 Design #481 (Feedback): Multiline comments -- obsolescent?
- *The solution chosen is (c)*
- 18:57 CoCoA-5 Feature #384 (Feedback): IsZero for matrix
- 18:43 CoCoA-5 Feature #359: RingOf for list
- Want to discuss precise specifications of the fn.
- 18:42 CoCoA-5 Design #412: intersection (all lower case)
- We will discuss the design/names @IntersectList@ @intersection@ etc??
- 18:39 CoCoALib Feature #431 (Closed): NewPolyRing_DMPI has no constructor with a predefined PPM
- 15:17 CoCoALib Feature #431 (Feedback): NewPolyRing_DMPI has no constructor with a predefined PPM
- 10:30 CoCoALib Feature #431: NewPolyRing_DMPI has no constructor with a predefined PPM
- > JAA noticed that ex-PolyRing1.C is too long & complicated; split it into two (one about ctors, the other about doin...
- 18:38 CoCoALib Bug #67 (Closed): Rename MatrixViews
- Renamed source files (&Makefile) & doc; changed references in doc.
- 16:38 CoCoALib Support #528: Release: CoCoALib-0.99533
- first prelease on web-page
- 08:51 CoCoALib Support #528: Release: CoCoALib-0.99533
- *make ValgrindTests* DONE (only the "throw-16b-leaks")
- 08:41 CoCoALib Support #528 (In Progress): Release: CoCoALib-0.99533
- 15:23 CoCoALib Support #288 (Closed): DynamicBitset example using LPP
- 15:22 CoCoALib Feature #539 (New): Functions to clean up a factorization
- A factorization is arbitrary.
Choose and implement functions to clean it up (e.g. grouping all equal factors in one ... - 15:19 CoCoALib Design #254 (Closed): How to return a Hilbert Series in CoCoALib
- (for now) we have decided that factorization of denom is arbitrary.
There will be functions to clean up a factorizat... - 09:55 CoCoALib Bug #510 (Closed): SyzOfGens (CoCoALib): fix shifts
- 09:25 CoCoALib Feature #373 (Closed): add DeleteCol, DeleteRow
- 08:37 CoCoALib Feature #298 (Closed): Valgrind: keep CoCoALib at 0 memory leaks
- I checked and confirm that the tests listed (those "leaking" *16 bytes*) are those which test errors (at least once)....
- 08:24 CoCoALib Bug #351 (Closed): Problems with DenseMatImpl::myResize
- tested, added test-matrix4 (which indeed gave IMMINENT DISASTER before recompiling ;-)
16 Apr 2014
- 01:03 CoCoA-5 Feature #414: New fn to increase max recursion depth
- *Do the "quick fix"!* Not satisfactory, but a proper soln is going to be costly :-(
- 01:01 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
- JAA must give Anna Giulia's code!
- 00:59 CoCoA-5 Support #489: CoCoAManual: Doc for strings
- JAA suggests:
* one page about string literals, concat and indexing
* one page about "escape sequences" inside string... - 00:52 CoCoALib Feature #431: NewPolyRing_DMPI has no constructor with a predefined PPM
- JAA noticed that @ex-PolyRing1.C@ is too long & complicated; split it into two (one about ctors, the other about doin...
- 00:50 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib
- I'm not an expert in the field, and in my ignorance find the "compact" form more satisfactory. I could even envisage...
- 00:40 CoCoALib Bug #351: Problems with DenseMatImpl::myResize
- I guess you could use @raw(zero(myR))@ instead of @raw(useless)@; though perhaps the latter is clearer?
- 18:59 CoCoALib Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- JAA suggested to try ...
- 16:46 CoCoALib Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- I confirm the previous leaks (probably due to test for *throwing/catching errors*)
This "16-byte leak" is independent... - 07:54 CoCoALib Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- ...
- 17:21 CoCoA-5 Support #338: MacOS version with static gcc libraries
- I tried @cocoa-5.0.9-text-mac10.6.tgz@ (28 Mar 2014) on my machine; it did not start...
- 14:11 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Some explanation on NmzIntegrate:
The possible input is basically the same as for Normaliz. This means the cone re... - 11:25 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Which example do you mean? For me all the newer ones (from update 10 on) are working. The older should work too if yo...
- 08:29 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- The example in the description does not work.
Postponing this issue to Seoul version (with full manual to be publish... - 12:39 CoCoA-5 Feature #419 (Feedback): FloatStr
- Implementation is in @ToString.H/C@
@DecimalStr@ now defaults to 3 digits after decimal point.
- 08:44 CoCoA-5 Feature #419: FloatStr
- I tested the new *DecimalStr*: I'd prefer 3 digits after "." by default (instead of 4).
I find it more natural to gro... - 12:37 CoCoALib Bug #538: Compilation problem in TmpMorsePaths.C
- Added copyright blurb to @TmpMorse..@ files.
- 12:08 CoCoALib Bug #538: Compilation problem in TmpMorsePaths.C
- JAA has tried the proposed modification, and can report that it compiles and all tests pass.
*HOWEVER*, the relevant... - 12:06 CoCoALib Bug #538 (Closed): Compilation problem in TmpMorsePaths.C
- [reported by Roberto Pagaria <roberto-dot-pagaria-chiocciola-sns-dot-it>]
Ieri ho tentato di installare CoCoALib su ... - 12:34 CoCoA-5 Design #534: Remove float.cpkg5
- [I've already written this in #419]
I tested the new *DecimalStr*: I'd prefer 3 digits after "." by default (instead... - 11:50 CoCoALib Slug #537: FloatStr uses too much memory
- Just for the record: I did the experiment from within C-5.1, and the time taken (for just @FloatStr@) was 32.3s
- 11:49 CoCoALib Slug #537 (New): FloatStr uses too much memory
- Using CoCoAlib-0.99533 @FloatStr@ uses about 1.5Gbytes extra memory when applied to
@N:=factorial(10^8);FloatStr(N);... - 11:17 CoCoA-5 Bug #462 (Feedback): Emacs UI: semicolon problems
- It seems to work OK for me too.
I do vaguely recall discovering what the problem was and then fixing it (but evident... - 08:38 CoCoA-5 Bug #462: Emacs UI: semicolon problems
- Feedback
Works fine for me, no problems in strings or comments. Has this been fixed already? - 08:34 CoCoA-5 Bug #460 (Feedback): Emacs UI: updating abbrev-table
- 07:49 CoCoA-5 Feature #381 (Feedback): Emacs User Interface: Easier binding for sending a line to cocoa-5
- Final testing (thanks Oscar Fernández Ramos!)
There are problems when loading CUA-mode (for copying and pasting wi...
15 Apr 2014
- 16:20 CoCoALib Design #498: IsIntegralDomain, IamIntegralDomain3
- The final design is:...
- 16:09 CoCoALib Design #498 (Closed): IsIntegralDomain, IamIntegralDomain3
- 16:16 CoCoA-5 Feature #502 (Feedback): New fn/object type: timer
- 16:13 CoCoALib Feature #71 (Closed): ZeroMat & FilledMat
- 15:50 CoCoALib Design #377 (Closed): IsDivisible -- exact semantics?
- 15:47 CoCoALib Design #513 (In Progress): Quick/correct flag for bool3 fns
- We should start by looking at the various current uses of @bool3@, and possibly any obvious future candidates.
- 15:39 CoCoALib Feature #342 (Closed): Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- A new *@ClearDenom@* function has been added to @SparsePolyRing@; it follows very closely the code @ClearDenom2@ I wr...
- 15:20 CoCoA-5 Bug #470 (Closed): Emacs UI: cocoa5-close-block should beep when there is no block to close
- It works. Closing.
- 15:09 CoCoALib Design #415 (In Progress): Remove AsPolyRing etc?
- Reopening because it was auto-closed when I closed #139 which this duplicates.
- 15:07 CoCoALib Design #415 (Closed): Remove AsPolyRing etc?
- Closing because it is duplicated
- 15:07 CoCoALib Feature #139 (Closed): Usefulness of ring casting fns (remove AsPolyRing, etc.)
- Closing because it is duplicated
- 14:26 CoCoALib Design #408 (Closed): Rename MatrixArith to MatrixOperations
- 14:25 CoCoALib Support #285 (Closed): Notes for adding/removing files from documentation
- This is info is in the file @doc/README@ -- it's been there for some time now!
- 14:23 CoCoALib Feature #356 (Closed): IsZeroDivisor
- The current impl is simple, compact and works fine in the cases we have tried. Let's KISS until someone points out t...
- 13:53 CoCoALib Design #511 (Closed): Rename file TmpFactor to factor
- 13:26 CoCoA-5 Feature #523 (Feedback): EmacsUI: lower case keywords
- Now it should recognize all properly written keywords (*PriNT* is accepted but not properly written)
Now there is an ... - 13:26 CoCoALib Support #508 (Closed): Renaming: SqfreeFactor to SqFreeFactor
- 13:23 CoCoALib Feature #17 (Closed): implement "binomial" (coefficient) for RingElem
- 13:15 CoCoALib Feature #5 (Closed): Coefficient extraction
- 13:03 CoCoALib Slug #479 (Closed): make check in examples/ directory is far too slow
- Now it takes 60s on my machine which is quite acceptable.
Closing.
- 12:54 CoCoALib Feature #138 (Closed): Automatic conversion from bool3 to bool?
- 12:46 CoCoALib Bug #517 (Closed): MaxSquarableInteger gives wrong ans for unsigned long
- 12:43 CoCoALib Feature #526 (Closed): Fn to test if an integer is a power of 2
- 12:39 CoCoALib Support #66 (Closed): BigInt - NumTheory
- The doc is now much improved; no doubt it will be tweaked occasionally in the future, but this issue can now be close...
- 12:31 CoCoALib Feature #107 (Closed): Recognizing finite fields
- No problems have arisen in 2 years. In ptic the fns *@IsPthPower2@* and *@PthRoot2@* have not made their absence fel...
- 12:27 CoCoALib Bug #536 (Closed): Make RingBase::myCharacteristic a fn rather than a proc
- The mem fn @RingBase::myCharacteristic@ returns @void@ (supposedly for "efficiency", but who's going to calculate mil...
14 Apr 2014
- 16:32 CoCoA-5 Feature #384: IsZero for matrix
- > JAA suggests putting it in *MatrixOperations*
(after talking about it on the phone) moved all *Is..* functions f... - 10:56 CoCoA-5 Feature #384: IsZero for matrix
- John Abbott wrote:
> JAA suggests putting it in *@MatrixOperations@*
OK. Should we also move *IsZeroRow/Col*? - 10:39 CoCoA-5 Feature #384: IsZero for matrix
- JAA suggests putting it in *@MatrixOperations@*
- 08:59 CoCoA-5 Feature #384: IsZero for matrix
- Added to cocoa-5
I had to add *evalArgAsT1orT2orT3orT4orT5orT6orT7* in *Interpreter.H*.
- 08:42 CoCoA-5 Feature #384: IsZero for matrix
- Implemented as described above.
Seems to work (added test @IsZero(ZeroMat(R, 12345,67890))@ and is fast).
But where... - 11:02 CoCoA-5 Support #251: How to add a test for CoCoA-5 (CoCoAInterpreter)
- JAA suggests as a general rule: try to avoid designing tests that produce much output (unless the test specifically c...
- 09:24 CoCoA-5 Support #338: MacOS version with static gcc libraries
- I noticed that CoCoAInterpreter for 10.5 works on my 10.6.
... so John fixed it?
What about viceversa?
John: could... - 09:20 CoCoA-5 Support #286 (In Progress): How to test (automatically) a user defined CoCoA function
- 09:12 CoCoA-5 Feature #359 (In Progress): RingOf for list
- Should this function work only for list of RINGELEM?
If so we can directly use *HasUniqueOwner*, otherwise is is ver... - 09:07 CoCoA-5 Support #176 (Feedback): CoCoAManual: Doc for new commands
- I think that now the manual is more diligently updated than the *Translation table*.
Close this issue?
- 09:06 CoCoA-5 Support #179 (Feedback): TeX documentation for CoCoA-5
- Now the make target is done and works well. Moreover generating the TeX documentation is actually useful for checkin...
13 Apr 2014
- 21:05 CoCoA-5 Feature #384 (In Progress): IsZero for matrix
- I tried implementing it in a clever way but got stuck.
(clever = ZeroImpl gives true, IdentityImpl gives false, ...)...
11 Apr 2014
- 18:00 CoCoA-5 Bug #447 (In Progress): CoCoA-5.0.3 Microsoft std::bad_alloc
- 17:50 CoCoALib Feature #71 (Feedback): ZeroMat & FilledMat
- Removed @FilledMat@. See *comment-5* for the *conclusion*.
- 17:43 CoCoALib Design #408 (Feedback): Rename MatrixArith to MatrixOperations
- Renamed the files, all includes, all tests, the doc. Verified, checked in.
- 17:03 CoCoALib Design #511 (Feedback): Rename file TmpFactor to factor
- Renamed @TmpFactor@ to @factor@. The source file still contains a lot of crocky code!
- 16:02 CoCoA-5 Design #534 (Feedback): Remove float.cpkg5
- @DecimalStr@ etc now implemented in CoCoALib.
I note that the package contains two non exported fns: @Atan@ and @Pi@... - 15:06 CoCoA-5 Support #341 (Closed): Remove/replace the word "vector" in the manual
- 15:03 CoCoA-5 Feature #200 (Closed): add modules and module operations
- Most operations have been implemented by now.
Remaining functions will be under their own "issue".
- 14:59 CoCoA-5 Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc)
- 14:55 CoCoA-5 Support #503 (Closed): CoCoA website: CoCoA-5.0.9 pages
- 14:53 CoCoA-5 Feature #270: Distribution for linux
- I improved my script, but I don't know if the libraries are statically or dynamically linked.
Could you check if wha... - 12:09 CoCoALib Design #535 (Closed): IO: move GlobalInput etc to CoCoA server!
- @GlobalInput@ etc should be in the server code, not in CoCoALib!
Move them!
10 Apr 2014
- 18:17 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- now it prints the ring itself (when ring is uniquely defined)...
- 18:02 CoCoA-5 Bug #509 (Closed): SyzOfGens (CoCoA-5) does not have correct shifts
- (Naive resolution implemented) now shifts are tested and working fine. Closing.
- 17:17 CoCoA-5 Design #475: Eliminate package approx
- Implemented @FloatApprox@ (binary version) in CoCoALib. Documented.
How to make the function available to CoCoA-5... - 06:52 CoCoA-5 Design #475: Eliminate package approx
- John Abbott wrote:
> I suggest replacing clas @MantExp@ by @MantExp10@ (or @Mant10Exp@);
> and then create new class ... - 10:13 CoCoA-5 Feature #514 (Resolved): submodule: minimalize, minimalized
- Seems to work, needs proper tests.
- 09:46 CoCoA-5 Support #322 (In Progress): Installation instructions (on website)
- 09:45 CoCoA-5 Feature #106 (In Progress): I:f (IDEAL and RINGELEM) -- operator colon
- 09:02 CoCoA-5 Feature #529 (Resolved): Naive version of resolution and Betti numbers
- (design, testing, documenting)
Public functions are *PrintRes*, *PrintBettiMatrix* and *PrintBettiDiagram*.
Documen...
09 Apr 2014
- 01:08 CoCoA-5 Feature #502: New fn/object type: timer
- I have added an entry for @TimeFrom@ to the C5 manual.
- 00:51 CoCoA-5 Design #475: Eliminate package approx
- I suggest replacing class @MantExp@ by @MantExp10@ (or @Mant10Exp@);
and then create new class @MantExp2@ (or @Mant2E... - 00:47 CoCoA-5 Design #534 (In Progress): Remove float.cpkg5
- It seems to be mostly impl'ed (in file @decimal.C@); not documented though!
There is disagreement about what @Decima... - 00:44 CoCoA-5 Design #534 (Closed): Remove float.cpkg5
- All the fns which were exported by @float.cpkg5@ are now in CoCoALib.
Remove @float.cpkg5@?
- 00:39 CoCoALib Feature #533 (In Progress): Convert BigInt/BigRat to string
- I have made a quick impl in file @decimal.C@; its currently called @decimals@. I had wanted to use @DecimalStr@ but ...
- 00:37 CoCoALib Feature #533 (Closed): Convert BigInt/BigRat to string
- I thought there used to be @ConvertTo<string>(N)@ for @BigInt@ and @BigRat@.
Maybe there used to be, but they were r... - 17:46 CoCoA-5 Design #532 (Closed): New package: OBSOLESCENT
- Create a new package called @OBSOLESCENT.cpkg5@ into which we put obsolescent functions (with an "expiration date").
- 17:22 CoCoA-5 Support #296: Documentation for Parser/Interpreter
- I think the doc for the parser/interpreter should be separate from CoCoALib doc; the doc should be somewhere in the s...
- 17:03 CoCoA-5 Support #495 (Feedback): CoCoAManual: add page about creating lists
- Renamed function @list@ to @GetRows@ (compatible with @GetRow@).
Renamed manual page. Added manual page for @GetRow... - 16:14 CoCoALib Support #288 (Feedback): DynamicBitset example using LPP
- added *ex-DynamicBiteset2.C*
- 16:04 CoCoA-5 Bug #433 (In Progress): EMACS UI: trouble with sending a long line
- The problem arises in my more recent Emacs (24.3) but not in my older installation (23.1).
In any case, there coul... - 15:46 CoCoA-5 Feature #531 (Closed): Package protected variables should know which package protected them
- A package protected variable should "know" which package protected it (and this info should be indicated along with a...
- 15:44 CoCoA-5 Bug #94 (Feedback): Default reason for protected variables
- I have implemented the suggestion in comment-2.
Changing status to feedback.
- 15:12 CoCoA-5 Support #530 (Rejected): Interpreter error message: "for" with missing "do"
- Why do we get different error messages?...
- 14:54 CoCoA-5 Feature #529: Naive version of resolution and Betti numbers
- I now have implemented *(Print)BettiMatrix* and *(Print)BettiDiagram* in CoCoALanguage.
Where should they go? What s... - 10:19 CoCoA-5 Feature #529 (Closed): Naive version of resolution and Betti numbers
- Implement a naive version of resolution and Betti numbers while hoping for the (very delicate) optimized *resolution*...
- 14:52 CoCoA-5 Support #334: CoCoAManual: entry for "and", "or", "not" operators
- I have now split the man page into 3: separate pages for @and@, @or@ and @not@.
08 Apr 2014
- 20:14 CoCoA-5 Feature #200: add modules and module operations
- added *shifts(FreeModule)*
- 17:54 CoCoA-5 Feature #200: add modules and module operations
- added *submodule(gens)*
where gens is a non-empty vector of ModuleElem in the same Module. - 20:13 CoCoA-5 Bug #509: SyzOfGens (CoCoA-5) does not have correct shifts
- Now that *shifts* is ported to CoCoA-5 more testing can be done.
- 18:00 CoCoA-5 Bug #509: SyzOfGens (CoCoA-5) does not have correct shifts
- Now we have *submodule(gens)* issue #200
so this is now more compact... - 16:26 CoCoA-5 Bug #509 (In Progress): SyzOfGens (CoCoA-5) does not have correct shifts
- Fixed the code for adding the shifts.
Needs more testing and flexible interfaces.
This is essentially what we can d... - 20:10 CoCoALib Bug #510 (Feedback): SyzOfGens (CoCoALib): fix shifts
- Implemented.
Testing will mostly be done in CoCoA-5 issue #509, but a test should be added in CoCoALib as well. - 18:38 CoCoALib Feature #218: CoCoALib normaliz interface
- ... and write submission to Seoul and relative paper.
- 18:34 CoCoALib Support #508 (Feedback): Renaming: SqfreeFactor to SqFreeFactor
- Done; it builds, the tests pass; checked in!
Status -> feedback - 18:23 CoCoALib Support #467: Keep CoCoALib web page up to date! All pages!
- Note: this page is just a reminder.
Every release should have its own.
- 18:20 CoCoALib Support #528 (Closed): Release: CoCoALib-0.99533
- Everything related to making the release:
finalize
valgrind tests
create snapshot
updated webpage
- 17:59 CoCoALib Design #377 (Feedback): IsDivisible -- exact semantics?
- Implemented the proposal in comment-6; changed several @IsZero@ checks into @IsZeroDivisor@.
Changed state to feed... - 16:20 CoCoALib Design #377: IsDivisible -- exact semantics?
- Aldo says that "@a@ is divisible by @b@" means that there exists at least one @c@ such that @a = b*c@. He accepted h...
- 14:20 CoCoA-5 Design #527 (New): GUI: better name for the graphical interface?
- the text compilation for cocoa-5 produces *CoCoAInterpreter*, the GUI compilation produces *C5*.
Should we give them... - 14:11 CoCoALib Feature #526 (Feedback): Fn to test if an integer is a power of 2
- I have implemented in @IntOperations@ both for @BigInt@ and @MachineInt@.
Also added doc and some tests.
The fn say... - 14:10 CoCoALib Feature #526 (Closed): Fn to test if an integer is a power of 2
- It would be handy sometimes to have a function which says whether an integer is a power of 2; perhaps if its absolute...
- 14:01 CoCoA-5 Feature #270: Distribution for linux
- I have a private script for making a fairly automatic text release.
Now I have to work on the GUI - 13:56 CoCoA-5 Support #503: CoCoA website: CoCoA-5.0.9 pages
- Added release for GUI Windows (thanks to Jan Limbeck).
Downloaded and tested on our virtual machine.
- 11:02 CoCoA-5 Design #525: BuiltInFunctions: evalArgAsT1OrT2, evalArgAsT1OrT2OrT3, ... last argument
- I like the idea of making them all "compatible".
Another option would be to have an @enum@ with one value for each... - 09:40 CoCoA-5 Design #525 (Closed): BuiltInFunctions: evalArgAsT1OrT2, evalArgAsT1OrT2OrT3, ... last argument
- the functions *EvalArgAsT1OrT2OrT3...* modify the last argument (int) giving 1 or 2 or 3...
the functions *EvalArgAs... - 09:42 CoCoA-5 Bug #524: BuiltInFunctions: remove calls to WrongTypeException
- I modernized *RingOf*: code much much nicer now!
- 09:14 CoCoA-5 Bug #524: BuiltInFunctions: remove calls to WrongTypeException
- I've done some work on *gcd* and *lcm* (among the worst).
I think it's more readable now.
NB: There is no *PtrCastL... - 08:17 CoCoA-5 Bug #524 (Closed): BuiltInFunctions: remove calls to WrongTypeException
- Many functions calling to *WrongTypeException* could be modernized using *EvalArgAsT1OrT2..* making the code shorte, ...
- 08:27 CoCoA-5 Design #294 (In Progress): BuiltInFunctions: General "OneLiner" for arguments of different type
- 08:25 CoCoA-5 Design #294 (Closed): BuiltInFunctions: General "OneLiner" for arguments of different type
- 08:25 CoCoA-5 Feature #284 (Closed): BuiltInFunctions: more flexible typing in one-line function declaration
07 Apr 2014
- 18:41 CoCoALib Feature #71: ZeroMat & FilledMat
- I made some changes:
*NewMat* is now in BackwardCompatible.cpkg5 and is a straight call to *ZeroMat*
*NewMat* for a m... - 18:13 CoCoALib Bug #326 (In Progress): C++ nasty surprises
- 14:44 CoCoALib Feature #385 (In Progress): Design new errors using inheritance
- 14:43 CoCoALib Feature #82: C++11 compatibility questions
- Probably several "efficient" procedures can be eliminated.
* @add@, @sub@, @mul@, @div@ for @RingElem@
* add "mov... - 14:41 CoCoALib Feature #113: Introduce PartialHom
- My impl attempt failed; static typing in C++ did not help.
Now considering defining notion of subring (certain lim... - 14:33 CoCoALib Feature #138 (Feedback): Automatic conversion from bool3 to bool?
- JAA thinks this has been resolved by #153.
Conclusion: *no _automatic_ conversion to @bool@*, just the shorter names... - 14:28 CoCoALib Feature #153: Shorter simpler names for some bool3 values and functions
- The new fn names are:...
Also available in: Atom