Activity
From 22 Mar 2014 to 20 Apr 2014
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:...
05 Apr 2014
- 22:42 CoCoALib Feature #71: ZeroMat & FilledMat
- Unfortunately C5 publishes @NewMat(R,C,entry)@ which calls @FilledMat@; it is used in @primary.cpkg5@
What to do???
- 22:36 CoCoALib Feature #71 (In Progress): ZeroMat & FilledMat
- After 2 years I still think that @FilledMat@ is essentially useless.
Any objections to deleting it?
It is used in @M...
04 Apr 2014
- 17:41 CoCoA-5 Feature #523 (In Progress): EmacsUI: lower case keywords
- I cleaned up the keywords definitions. (removed some duplicates, still a few left)
I had problems with regexps but I... - 17:34 CoCoA-5 Feature #523 (Closed): EmacsUI: lower case keywords
- We are now encouraging lower case keywords, so the emacs interface must be able to recognise them, colour them, inden...
- 17:24 CoCoALib Bug #428 (Closed): PPMonoidOv is not threadsafe
- Osnabruck seem to be happy! Closing!
- 17:20 CoCoA-5 Support #334 (Feedback): CoCoAManual: entry for "and", "or", "not" operators
- The online help prints an entry if the title is an exact match for the search key (which is not the case for "Not, An...
- 17:08 CoCoA-5 Feature #419 (In Progress): FloatStr
- This should be quick & easy!
- 17:01 CoCoA-5 Support #463 (Feedback): Make man page for "It" easier to read
- Various changes to the manual have greatly improved findability and readability.
- 16:50 CoCoA-5 Bug #239 (Closed): Normaliz functions not available in C5 GUI (again!)
- No complaints in over a year --> closing.
- 16:41 CoCoA-5 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
- I believe I have seen it with the 5.0.9 internal release.
The warning appears just once; a subsequent identical @sou... - 16:35 CoCoA-5 Feature #492: New C5 fn for adjusting the warning level
- This should be easy (but you never know!).
Moving to after Easter as it is unimportant.
- 16:34 CoCoA-5 Feature #502: New fn/object type: timer
- JAA suggests documenting and publishing @TimeFrom@ but not @CpuTimeFrom@.
Really @CpuTimeFrom@ seems superfluous to ... - 16:23 CoCoA-5 Design #475 (In Progress): Eliminate package approx
- Only the function @FloatApprox@ remains to be done.
- 15:24 CoCoALib Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- Anna suggests that @elim@ may be quicker/simpler/better?
- 15:17 CoCoA-5 Design #301 (Feedback): How to obtain an integer from a finite field element? AsINT?
- This has already been done (long ago?): @AsINT@ and @AsRAT@ can be applied to @RINGELEM@ belonging to finite characte...
- 15:04 CoCoA-5 Feature #245 (In Progress): Meaningful error for functions defined in "missing" external library
- Here's a possible defn for @DECLARE_MISSING_EXTLIB@...
- 14:28 CoCoA-5 Design #472 (Closed): Record keyword
- Closing because already covered by #395
- 14:28 CoCoA-5 Support #395 (Closed): Naming conventions: upper or lower case?
- Closing because already covered by #395
- 14:22 CoCoA-5 Support #395: Naming conventions: upper or lower case?
- What about ACRONYMs? So far @gcd@ and @lcm@ are lowercase.
What about C5 language keywords?
The next actions:
* ch... - 12:54 CoCoA-5 Support #522: Manual: duplication in "see also" and "All other matches"
- The "See also" list is determined by whoever wrote the manual entry (its contents are "handwritten").
The "All oth... - 12:51 CoCoA-5 Support #522: Manual: duplication in "see also" and "All other matches"
- JAA does not like the duplication:
* it makes us look inept (why didn't we bother to "clean" one of the lists?)
* i... - 12:48 CoCoA-5 Support #522 (Closed): Manual: duplication in "see also" and "All other matches"
- In some cases there is duplication in the lists of "See also" and "All other matches".
A specific instance is:
<p... - 12:40 CoCoA-5 Feature #188 (Feedback): CoCoAManual: entries for operators
- A page summarising all operators (aka "shortcuts") has been around for a while; deft use of keywords makes the page f...
- 11:35 CoCoA-5 Support #521: Manual: automatically check all examples
- Scan file for lines starting with @/**/@ inside a @<example>...</example>@ block. Check that the CoCoA commands work...
- 11:32 CoCoA-5 Support #521 (Closed): Manual: automatically check all examples
- Write a script/program which automatically checks all examples in the manual.
- 11:23 CoCoALib Bug #517: MaxSquarableInteger gives wrong ans for unsigned long
- I have replaced yesterday's impl with a new much simpler and more compact one (but it is a bit slower, and relies on ...
- 07:38 CoCoA-5 Feature #518: incr/decr functions: to be used in packages
- "incr" is most used in @list.cpkg5@ for @QuickSort1@ and @QuickSortBy1@.
Anyway, you're right that we can assess h... - 07:27 CoCoA-5 Feature #518: incr/decr functions: to be used in packages
- John Abbott wrote:
> Wouldn't it be better to wait for the outcome of #504 before changing the packages?
John Abb...
03 Apr 2014
- 00:41 CoCoALib Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- A robust general solution is to use @GenRepr@:
inside R/I
invert element alpha
Check that 1 isin ideal(alpha... - 00:37 CoCoALib Feature #520 (Closed): Compute inverse in quotient ring (i.e. division in algebraic extn)
- Implement "division" in a quotient ring.
- 00:31 CoCoALib Design #377: IsDivisible -- exact semantics?
- Summarising:
@IsDivisible(a,b)@ gives @true@ iff there is a *unique* @c@ in the ring satisfying @a = b*c@ (assuming ... - 00:11 CoCoA-5 Feature #518: incr/decr functions: to be used in packages
- Wouldn't it be better to wait for the outcome of #504 before changing the packages?
- 20:13 CoCoA-5 Feature #518 (Closed): incr/decr functions: to be used in packages
- use *incr* when possible in packages
- 20:32 CoCoA-5 Bug #519 (Resolved): GUI: fix DEFINES in makefile
- When I wrote the script for dealing with the defines (old problem with Normaliz) I didn't know it would matter.
Anyw... - 20:26 CoCoA-5 Bug #519 (Closed): GUI: fix DEFINES in makefile
- *make-c5makefile.sh* places "defines" (-D..) in *QMAKE_CXXFLAGS* but they should go in *DEFINES*.
No problems on a M... - 20:20 CoCoA-5 Design #364 (Closed): Incr command/function
- John Abbott wrote:
> Using @fgrep "+1;" *.cpkg5@ produced about 30 lines which could be modified to use @incr@ or @d... - 20:18 CoCoA-5 Support #503: CoCoA website: CoCoA-5.0.9 pages
- Added the releases (and fixing the scripts producing them)
Some cosmetic changes to the side menu
- 20:16 CoCoA-5 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
- all binaries have been released for text/emacs interface
(mac 10.6/10.5, linux 32/64, win)
gui only for mac 10.6
... - 20:07 CoCoA-5 Support #325 (Closed): CoCoAManual: display syntax first
- 18:27 CoCoALib Feature #5 (Feedback): Coefficient extraction
- This issue has been left forgotten -- the work has been done anyway!
We have: @SparsePolyIter@, @CoefficientsWRT@,... - 18:18 CoCoALib Bug #2: Makefile problem in ROOT and/or src/AlgebraicCore
- The problem still happens; it's not serious as everything works fine anyway.
I checked on MacOSX 10.5.8.
- 18:06 CoCoALib Support #66 (Feedback): BigInt - NumTheory
- This has effectively already been done: doc for @BigInt@ refers to @IntOperations@ and @NumTheory@ for operations.
- 17:30 CoCoALib Slug #417: ex-Normaliz2-overflow.in too long & too much memory
- With Normaliz 2.11 this will no longer be an issue of memory. But the computation time could still be too big.
- 17:01 CoCoALib Bug #517 (Feedback): MaxSquarableInteger gives wrong ans for unsigned long
- Completely reimplemented: decided to follow design pattern used by @std::numeric_limits@. Will need updating if othe...
- 14:00 CoCoALib Bug #517 (In Progress): MaxSquarableInteger gives wrong ans for unsigned long
- Here is a failing case:...
- 12:10 CoCoALib Bug #517 (Closed): MaxSquarableInteger gives wrong ans for unsigned long
- MaxSquarableInteger gives wrong ans for @unsigned long@ because conversion to @double@ rounds up!
Fix it!
- 11:52 CoCoALib Feature #366 (Closed): function (CoCoALib) for minimal generators (like old Minimalize)
- 11:38 CoCoALib Feature #312 (Closed): LongRange(a,b) returning vector of long a..b (included)
- No problems in almost a year --> closing.
02 Apr 2014
- 18:59 CoCoALib Feature #516 (New): Make squarefreefactor work in multiple polynomial extns
- This is the continuation of #47 (subissue of #39) to be done once #515 has been done.
- 18:58 CoCoALib Feature #39 (Closed): Squarefree factorization
- 18:57 CoCoALib Feature #47 (Closed): Squarefree factorization - multivariate polynomials
- For many practical purposes this issue is complete.
True completion now depends on #515, so I shall close this, and ... - 18:39 CoCoALib Feature #515: Fn to "flatten" muliple polynomial extns
- Once this has been impl'ed (if), we should go back and finish those issues which needed the capability. See the rela...
- 18:30 CoCoALib Feature #515 (New): Fn to "flatten" muliple polynomial extns
- In C5 a user can easily create a ring like @QQ[x][y]@ which is obviously isomorphic to @QQ[x,y]@. CoCoA can do many ...
- 18:01 CoCoALib Feature #356: IsZeroDivisor
- Anna's global impl is fine as a general case, but it does not offer the possibility for smarter impls when we can (_e...
- 17:43 CoCoALib Feature #61 (Closed): Conversion functions -- documentation
- I'm pretty sure this was done ages ago; no idea how much time to log (just guessing).
The current impl and doc are... - 09:44 CoCoALib Feature #61 (In Progress): Conversion functions -- documentation
- Has this been done and forgotten?
I believe so... - 17:39 CoCoA-5 Feature #514 (Closed): submodule: minimalize, minimalized
- minimalize, minimalized have been implemented for ideal using *MinGens*.
Implement it for (sub)modules - 17:37 CoCoA-5 Feature #365 (Closed): add function to compute minimal generators (like Minimalize)
- 17:33 CoCoALib Design #498 (Feedback): IsIntegralDomain, IamIntegralDomain3
- 17:32 CoCoA-5 Feature #362 (Closed): New function: IsZeroDivisor
- The C5 impl is trivial and works; its correctness etc depend on the CoCoALib impl (which is complete but can be impro...
- 15:42 CoCoA-5 Feature #362 (Feedback): New function: IsZeroDivisor
- 17:18 CoCoA-5 Bug #32 (Closed): Elim(t, I)
- 17:18 CoCoALib Design #513 (In Progress): Quick/correct flag for bool3 fns
- Idea: all (or most) fns which return @bool3@ values should accept a flag (@bool@?) saying whether to be "quick" or "c...
- 17:13 CoCoA-5 Feature #512 (New): Resurrect MakeCheck()
- Tests for CoCoA-5 are run automatically by *make*.
It would be nice to have at least a partial set of test in the Co... - 17:00 CoCoALib Design #291 (Closed): NewZZmod and NewRingFp: improve manual, clarify implementation
- No problems after more than a year in feedback. Closing.
- 16:57 CoCoALib Design #511 (Closed): Rename file TmpFactor to factor
- The interface to @factor@ & friends is now stable; rename file to @factor@.
- 16:54 CoCoALib Design #429 (Closed): factorization: public data fields, or mem fns allowing the fields to be updated.
- Closing because it works, the code has been released, and we're happy with the new design.
- 16:52 CoCoALib Design #411 (Closed): design of factorization template class
- As Anna says, we've released the code, we're convinced by the new design.
So closing.
- 13:12 CoCoALib Design #411 (Feedback): design of factorization template class
- I'm pretty happy with the revised design; changing state to "feedback".
After speaking to Bruns about the design, ... - 16:50 CoCoALib Slug #417 (Closed): ex-Normaliz2-overflow.in too long & too much memory
- No problems after 4 months since the update (forgot to update redmine).
So closing! - 10:04 CoCoALib Slug #417 (Feedback): ex-Normaliz2-overflow.in too long & too much memory
- I think this is now to be closed?
- 16:45 CoCoALib Feature #416 (Closed): New fn: NumPartitions
- The impl was finished 4 months ago (but I forgot to update redmine).
No problems have arisen in 4 months --> closing... - 16:33 CoCoALib Feature #430 (Closed): Use -fopenmp flag when compiling CoCoALib with libnormaliz
- No problems reported in over 2 months. Closing!
- 16:24 CoCoA-5 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
- John: please send me *CoCoAInterpreter* for 10.5
- 16:18 CoCoALib Support #391 (Closed): Check consistency of template class factorization
- This has already been subsumed by #411 and/or #429.
Closing - 16:01 CoCoALib Feature #366 (Feedback): function (CoCoALib) for minimal generators (like old Minimalize)
- 15:40 CoCoALib Support #507 (Closed): CoCoA website: CoCoALib-0.99532
- 09:08 CoCoALib Support #507: CoCoA website: CoCoALib-0.99532
- Snapshot made on Fri 28th March (sent by email, and tested by S.Campion)
Problems accessing new website server to up... - 08:58 CoCoALib Support #507 (Closed): CoCoA website: CoCoALib-0.99532
- 15:39 CoCoALib Support #29 (Closed): CoCoA website: update web page for CoCoALib-0.9950
- There are links to redmine history.
Too much work for such an old relase. :-(
Giving up on this and closing.
- 09:37 CoCoALib Support #29 (In Progress): CoCoA website: update web page for CoCoALib-0.9950
- 14:49 CoCoALib Bug #510 (Closed): SyzOfGens (CoCoALib): fix shifts
- Example in CoCoA-5...
- 14:45 CoCoA-5 Bug #509 (Closed): SyzOfGens (CoCoA-5) does not have correct shifts
- ...
- 14:26 CoCoALib Support #508 (Closed): Renaming: SqfreeFactor to SqFreeFactor
- The name @SqfreeFactor@ is not consistent with @ContentFreeFactor@.
Should it be renamed to @SqFreeFactor@?
Anoth... - 14:21 CoCoA-5 Feature #504: New operators: += -= *= /=
- Christof Soeger wrote:
> If you cannot have -- you should also not have ++, it is just to confusing and inconsistent... - 13:37 CoCoA-5 Feature #504: New operators: += -= *= /=
- From the existing alternatives I also prefer (E) since it is clearly understandable. If you cannot have -- you should...
- 12:21 CoCoA-5 Feature #504: New operators: += -= *= /=
- Would we really want all 4 operators @+=@, @-=@, @*=@ and @/=@?
Probably @/=@ would be used only rarely, but if we... - 12:15 CoCoA-5 Feature #504 (In Progress): New operators: += -= *= /=
- We could also have the @++@ operator but cannot have @--@ because that is used to mark end-of-line comments. In my o...
- 11:39 CoCoA-5 Feature #504: New operators: += -= *= /=
- I like the @+=@ syntax very much, so I would vote for it.
For the incr, why not also @++@? - 08:02 CoCoA-5 Feature #504: New operators: += -= *= /=
- I think @+=@ is a big step over *incr*. After all how often we have *for* loops with step different from one?
I agr... - 13:08 CoCoALib Bug #413 (Closed): OrdvArith: use of a single buffer is NOT THREADSAFE
- This has been in feedback for over a month, so closing.
As stated in my previous note, the OpenMP special version ... - 09:56 CoCoA-5 Feature #454: interpolate
- Has this been done somehow?
- 09:53 CoCoA-5 Design #403 (In Progress): Misuse of dot-dot operator
- 09:50 CoCoA-5 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
- Is that still true? Ask the students ;-)
- 09:49 CoCoA-5 Feature #384: IsZero for matrix
- I think we should have *IsZero* for *MAT*
- 09:39 CoCoALib Feature #123: IdealOfPoints with generic coeffs
- Is this a duplicate of issue #144?
- 09:34 CoCoALib Bug #114 (In Progress): Ideals of polynomials
- I suggest *IdealInPolyRing*, *IdealInField*
- 09:28 CoCoALib Support #252: Documentation for tmp.H (utils on vectors and other containers)
- John Abbott wrote:
> My "gut feeling" is that code in @tmp.C@ should not have official documentation.
>
> However... - 09:22 CoCoALib Support #231: Documentation for QBGenerator needs to be improved.
- Provide a simple example program (I might have some little code somewhere...)
- 09:02 CoCoALib Support #467: Keep CoCoALib web page up to date! All pages!
- This issue will be about general changes.
Particular work for every single release will have its own dedicated issue... - 08:23 CoCoALib Support #467: Keep CoCoALib web page up to date! All pages!
- Web page now resides on a new server.
Work is them made more difficult by not being able to connect remotely.
Hope ... - 08:51 CoCoALib Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- tested 0.99532, just a few (14) microscopic leaks (investigate for 0.99533, probably easy to spot)...
- 08:49 CoCoALib Feature #219 (Closed): myDeriv for RingDenseUPolyClean still missing
- Added new issue for documentation. (#505)
Closing this issue. - 08:45 CoCoALib Support #505 (New): Documentation: write doc for RingDenseUPolyClean
- 07:51 CoCoALib Feature #91: Return type & name for "indets" of a PP
- we need to change the name
- 07:33 CoCoALib Feature #312: LongRange(a,b) returning vector of long a..b (included)
- I added some commented out calls to *LongRange* (to replace the existing for loops).
For paranoia, needs testing (not...
01 Apr 2014
- 01:17 CoCoA-5 Design #364: Incr command/function
- Using @fgrep "+1;" *.cpkg5@ produced about 30 lines which could be modified to use @incr@ or @decr@.
Let's try in ... - 01:13 CoCoA-5 Feature #504 (In Progress): New operators: += -= *= /=
- Now that I've implemented new fns @incr@ and @decr@, I wonder whether it wouldn't have been more sensible to implemen...
- 19:37 CoCoALib Support #234 (Closed): Update/Improve geobucket documentation
- 19:33 CoCoALib Feature #426 (Closed): ConvertTo with optional arg to give more helpful error message
- We are all happy about this. Tested and documented. Closing.
- 19:31 CoCoALib Feature #416 (Resolved): New fn: NumPartitions
- 19:18 CoCoALib Feature #361 (In Progress): implement IsPrime3, IsMaximal3
- should we follow the same (new flashy) design as for *IsIntegralDomain3*?
- 19:11 CoCoALib Feature #248 (Closed): IsDivisible for RingElem with nice interface
- 18:59 CoCoALib Feature #233 (Closed): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
- Please note that *ConvertTo<..>(N)*
also allows passing an error message... - 18:54 CoCoALib Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib
- 18:52 CoCoALib Feature #496 (Closed): ideal: minimalize or minimalized?
- 18:46 CoCoA-5 Feature #105 (Closed): Add I*f and f*I (RINGELEM and IDEAL)
- 18:15 CoCoA-5 Support #503 (Closed): CoCoA website: CoCoA-5.0.9 pages
- Check download page
- 18:14 CoCoA-5 Support #348 (Closed): CoCoA website: CoCoA-5.0.3 pages
- 18:11 CoCoALib Support #467 (In Progress): Keep CoCoALib web page up to date! All pages!
- 17:44 CoCoALib Design #498 (In Progress): IsIntegralDomain, IamIntegralDomain3
- I have removed @IamIntegralDomain@ and modified @IamIntegralDomain3@ so that it expects an arg (@bool QuickMode@). M...
- 15:35 CoCoALib Design #429 (Feedback): factorization: public data fields, or mem fns allowing the fields to be updated.
- John and Anna are not convinced by the proposal to allow the factors to reside in different rings (even if CoCoALib w...
- 13:21 CoCoA-5 Bug #132 (In Progress): BringIn should allow reduction modulo p
- The example given in the C5 online manual *fails* (because it uses reduction mod p).
31 Mar 2014
- 14:22 CoCoA-5 Feature #502: New fn/object type: timer
- I'm a little undecided.
I'm not so convinced by @CpuTimeFrom(T)@; it's longer than @CpuTime()-T@ and does not seem... - 12:01 CoCoA-5 Feature #502 (In Progress): New fn/object type: timer
- you are right, it's annoying having to write *DecimalStr(...)*.
This is my trivial suggestion... - 11:26 CoCoA-5 Bug #132: BringIn should allow reduction modulo p
- Even worse: @BringIn@ fails to construct the hom from @ZZ/(11)[x,y,z]@ to @ZZ/(11)[x,y,z],Lex@
This is embarassing!
...
30 Mar 2014
- 22:03 CoCoA-5 Feature #502: New fn/object type: timer
- What about a @StrTimer@ which automatically returns a string?
That would avoid the tedious need to call @DecimalStr@... - 22:01 CoCoA-5 Feature #502: New fn/object type: timer
- Once strange aspect of a @TIMER@ object is that @T=T@ may sometimes return @false@
I wonder whether the value prod... - 21:58 CoCoA-5 Feature #502 (Closed): New fn/object type: timer
- Here's an idea. Create a new fn called *@timer@* (or *@NewTimer@) which creates a @TIMER@ object.
When you evaluate...
28 Mar 2014
- 16:23 CoCoA-5 Support #495 (In Progress): CoCoAManual: add page about creating lists
- Added a new page (in commands) called *@list constructors@*.
Reduced existing page for @in@ to a reference to @list ... - 16:17 CoCoA-5 Support #456: CoCoAManual: New structure for manual?
- The "Intro to XYZ" idea is good, but I do not much like the title.
Maybe "XYZ in CoCoA", or "Using XYZ", or "Creatin... - 08:43 CoCoA-5 Support #456 (In Progress): CoCoAManual: New structure for manual?
- It seems that pages like *Introduction to ...* could indeed be nice.
The current one are usually far too long: simpl... - 15:14 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- JAA thinks that this could be hard to do portably.
A potentially simpler solution would be to have some way of mar... - 09:24 CoCoA-5 Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?
- If we input ...
- 14:01 CoCoA-5 Feature #501 (New): Toric: resurrect function TestSet (and find betterr name for it?)
- In CoCoA-4 the function *TestSet* was a fast way to compute the GBasis of a Toric ideal wrt to some ordering.
Invest... - 10:18 CoCoA-5 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- Note that it is common for personal "init" files to have name which begin with dot so that they remain "invisible" wh...
- 09:45 CoCoALib Bug #130: Design problem in ideals
- Anna has recently encountered some other problems with the current design.
This needs thought!
- 09:44 CoCoA-5 Feature #105 (Feedback): Add I*f and f*I (RINGELEM and IDEAL)
- JAA has made a simplistic impl.
Documentation?
- 09:08 CoCoA-5 Feature #200: add modules and module operations
- Added *MinGens*
- 08:47 CoCoA-5 Support #488: CoCoAManual: Help page for porting old C4 code to C5
- I have updated the *CoCoA translation table* for functions in CoCoA-4, CoCoA-5, CoCoALib
http://cocoa.dima.unige.it/... - 08:42 CoCoA-5 Support #494 (In Progress): Emacs UI: installation on Mac OS 10.8.5
- Alessandro Cartatone found this page (that means: there's nothing we can do except telling the user how to do)
http:... - 08:38 CoCoA-5 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
- John Abbott wrote:
> I think that @N@, @X@ and @L@ should be in a different font from the main text.
we should us... - 08:27 CoCoA-5 Support #325 (Feedback): CoCoAManual: display syntax first
- Even though *CoCoAHelp.xml* isn't all written like that (too dangerous to do by emacs-magic), the end results (online...
- 08:18 CoCoALib Feature #366 (Resolved): function (CoCoALib) for minimal generators (like old Minimalize)
- Done.
The core function is called *myMinimalize* and is clever (i.e. saves all the precomputed data)
Called simil... - 01:08 CoCoALib Design #498: IsIntegralDomain, IamIntegralDomain3
- Current design has @IamIntegralDomain@ and @IamIntegralDomain3@ pure virtual in @RingBase@, so every concrete ring ha...
27 Mar 2014
- 00:58 CoCoALib Design #498 (Closed): IsIntegralDomain, IamIntegralDomain3
- JAA has just added an impl of @IsIntegralDomain3@
The design is probably wrong. Replace it with a better one! - 18:56 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- Yes, that works. Thanks a lot! We can work with that solution.
How do you think about allowing ZZ[x] factors toget... - 18:28 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I have fixed the problem with factorizations over ZZ[x].
[I have implemented @IsIntegralDomain3@]
Checked in to C... - 16:37 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The const ref aliases are a good suggestion. @myFactors(i)@ was also not the optimal syntax.
For the size, to me it ... - 15:06 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I have added a note to the documentation about possibly having a function for changing the multiplicity of a factor.
... - 15:00 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The main reason I do not offer a len/size fn is that its semantics are unclear to me.
*(A)* Should it simply be the ... - 14:54 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The reason @myFactor@ and @myMultiplicity@ are commented out is because they offered little gain in readability; it s...
- 11:30 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I updated nmzIntegrate to the changes, while looking at the header to figure out the new interface of the factorizati...
- 18:33 CoCoA-5 Bug #171: Negate LIST, MAT,...
- If @L@ is a list C5 cannot compute @-L@ but it can compute @(-1)*L@ and also @L1-L2@ if @L1@ and @L2@ are lists. Thi...
- 18:16 CoCoALib Feature #496: ideal: minimalize or minimalized?
- done and tested, documented, ported to CoCoA-5
Works only for homogeneous input.
Cleverly stores GBasis and MinGe... - 08:22 CoCoALib Feature #496 (In Progress): ideal: minimalize or minimalized?
- Decided how and implemented *myMinimalized*.
The current design for ideals actually makes it simple: operations are ... - 08:09 CoCoALib Feature #496 (Closed): ideal: minimalize or minimalized?
- In CoCoA-4 there were two functions:
- minimalized(I): returning an ideal J=I generated by a minimal set of generato... - 15:30 CoCoA-5 Feature #273 (Resolved): Package for Polynomial Algebra Homomorphisms
- *ADD* this code as a CoCoA-5 package (or reimpl in CoCoALib).
- 15:28 CoCoALib Support #497 (New): Clang: automatic bug finding
- On the Clang web-site they offer a static analysis tool
(see @http://clang-analyzer.llvm.org/@)
It would be good(...
26 Mar 2014
- 18:05 CoCoALib Feature #17 (Feedback): implement "binomial" (coefficient) for RingElem
- I've made a simple impl (obviously correct, might not be fast).
In answer to my qn in post 2, we've decided to kee... - 17:09 CoCoA-5 Feature #365 (Feedback): add function to compute minimal generators (like Minimalize)
- Was tougher than I expected: ironically the core code (GBasis) was all done, but updating the module/submodule/FGModu...
- 16:14 CoCoA-5 Design #364 (Feedback): Incr command/function
- Written documentation.
The only negative aspect is that the user must write @ref@ before the arg;
if we define co...
25 Mar 2014
- 21:37 CoCoA-5 Support #495 (Closed): CoCoAManual: add page about creating lists
- Add an easily accessible manual page about creating lists, and perhaps simple operations on them (indexing, concatena...
- 21:34 CoCoA-5 Support #488 (In Progress): CoCoAManual: Help page for porting old C4 code to C5
- I have added a manual page entitled *@updating CoCoA-4 code@*; and another entitled *@CoCoA-4 mode@* (about @***...**...
- 18:10 CoCoALib Feature #356 (Resolved): IsZeroDivisor
- 18:03 CoCoA-5 Design #364 (Resolved): Incr command/function
- Placing defns of @incr@ and @decr@ in @NotBuiltin@.
JAA will add doc. - 17:56 CoCoA-5 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
- Delayed several issues to 5.1.0.
- 16:19 CoCoA-5 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
- Changed title etc to refer to 5.0.9 instead of 5.0.4.
Hoping to complete the release by the end of this week!
- 17:42 CoCoA-5 Support #296 (In Progress): Documentation for Parser/Interpreter
- 17:40 CoCoA-5 Feature #216 (In Progress): Janet Bases: port function into CoCoA-5
- 17:36 CoCoA-5 Bug #446 (Closed): intersection fails with zero ideal
- 17:35 CoCoA-5 Bug #397 (In Progress): EMACS UI: fix windows splitting
- 17:21 CoCoA-5 Feature #414: New fn to increase max recursion depth
- This is going to be a pain to sort out -- delaying until 5.1.0.
Probably command line option is simplest "quick fi... - 15:11 CoCoA-5 Feature #328 (Closed): Swap
- No trouble after 1 month in feedback.
Minor revision to the documentation.
Closing.
- 14:54 CoCoA-5 Bug #443 (Closed): lambda keyword
- I have left the name "lambda" in the code for lexer/parser/interpreter since anyone playing with that code should kno...
- 14:19 CoCoA-5 Support #494: Emacs UI: installation on Mac OS 10.8.5
- Our solution should handle several cases:
*(a)* new CoCoA user with new emacs installation (_i.e._ no @.emacs@ file)
... - 12:51 CoCoA-5 Support #494 (Closed): Emacs UI: installation on Mac OS 10.8.5
- The instructions on the web site do not work because the OS refuses to run a script of unknown provenance.
How to ... - 12:36 CoCoA-5 Feature #365: add function to compute minimal generators (like Minimalize)
- Still missing: function on submodules!
If we have that working than we can have a silly/slow but working version of ...
24 Mar 2014
- 13:08 CoCoALib Design #411: design of factorization template class
- I've checked in everything.
For me all tests pass (even with max debugging). Also OK on my linux box (a netbook, >4... - 12:52 CoCoALib Design #411 (Resolved): design of factorization template class
- I have revised the interface of @factorization@.
The 3 main fields are now private, so I have implemented (read-on... - 11:45 CoCoA-5 Design #493 (Closed): Cleanup Hilbert package hp.cpkg5
- Check all functions and update the manual.
Choose the "official name" for functions. - 10:32 CoCoA-5 Design #481: Multiline comments -- obsolescent?
- John Abbott wrote:
> Note that I have also added a warning when @/*@ is found inside a @/*...*/@; this should avoid ... - 09:37 CoCoA-5 Design #481: Multiline comments -- obsolescent?
- John Abbott wrote:
> I have changed the warning level to @WS_PEDANTIC@, so most users won't see the warnings.
I thin... - 10:23 CoCoA-5 Feature #492: New C5 fn for adjusting the warning level
- @SetWarningLevel@ sounds good and clear!
- 09:50 CoCoA-5 Feature #492 (New): New C5 fn for adjusting the warning level
- Since C5 has several "warning levels", let the (advanced) user change the level (_e.g._ in the @init.cocoa5@ file).
...
23 Mar 2014
- 13:22 CoCoA-5 Bug #468: Emacs UI: indentation is wrong after ?keyword
- I felt better before looking at this code...
Giving up!
- 12:37 CoCoA-5 Bug #468: Emacs UI: indentation is wrong after ?keyword
- I guess the relevant fn is @cocoa5-calculate-indent@ on line @cocoa5.el:716@
*AARRGHHH* it's almost 100 lines long !?! - 12:33 CoCoA-5 Bug #469 (Resolved): Emacs UI: keywords in multiline comments
- The simplest "solution" would be to document that the emacs UI does not handle multiline comments intelligently.
A... - 12:28 CoCoA-5 Bug #471 (Feedback): Nested multiline comments
- I think the current state is a fair compromise; so changing status to @feedback@
- 12:01 CoCoA-5 Bug #462 (In Progress): Emacs UI: semicolon problems
- I have modified the emacs fn @cocoa5-electric-semi-or-dot@.
It now calls @expand-abbrev@ only when point is in code....
22 Mar 2014
- 22:31 CoCoA-5 Design #491: Cleaning: Cruft in CoCoA-5 packages
- The packages that "upset" me the most are @coclib@ and @primary@ (or @radical@?)
- 22:27 CoCoA-5 Design #491 (In Progress): Cleaning: Cruft in CoCoA-5 packages
- There is a *HUGE* amount of cruft in the C5 packages; more than enough to make maintenance much harder than necessary...
- 22:22 CoCoA-5 Support #208: describe $package
- Anna could you check that this now does more or less what you want; if so, change state to feedback?
- 10:57 CoCoA-5 Design #481 (Resolved): Multiline comments -- obsolescent?
- I think this issue is resolved now -- any objections?
*The solution is (c)*: multiline @/*...*/@ allowed but issues ... - 10:21 CoCoA-5 Design #481: Multiline comments -- obsolescent?
- I have changed the warning level to @WS_PEDANTIC@, so most users won't see the warnings.
[now I have to change my se... - 10:48 CoCoA-5 Bug #471: Nested multiline comments
- Well, I didn't wait for anyone else's opinion. I've implemented the warning....
- 10:26 CoCoA-5 Bug #471: Nested multiline comments
- I suggest adding a warning if @/*@ is found inside a @/*...*/@ comment. This would alert users to a (probable?) pres...
Also available in: Atom