Activity
From 16 Mar 2014 to 14 Apr 2014
14 Apr 2014
- 16:32 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 Feature #384: IsZero for matrix
- John Abbott wrote:
> JAA suggests putting it in *@MatrixOperations@*
OK. Should we also move *IsZeroRow/Col*? - 10:39 Feature #384: IsZero for matrix
- JAA suggests putting it in *@MatrixOperations@*
- 08:59 Feature #384: IsZero for matrix
- Added to cocoa-5
I had to add *evalArgAsT1orT2orT3orT4orT5orT6orT7* in *Interpreter.H*.
- 08:42 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 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 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 Support #286 (In Progress): How to test (automatically) a user defined CoCoA function
- 09:12 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 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 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 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 Bug #447 (In Progress): CoCoA-5.0.3 Microsoft std::bad_alloc
- 16:02 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 Support #341 (Closed): Remove/replace the word "vector" in the manual
- 15:03 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 Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc)
- 14:55 Support #503 (Closed): CoCoA website: CoCoA-5.0.9 pages
- 14:53 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...
10 Apr 2014
- 18:17 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- now it prints the ring itself (when ring is uniquely defined)...
- 18:02 Bug #509 (Closed): SyzOfGens (CoCoA-5) does not have correct shifts
- (Naive resolution implemented) now shifts are tested and working fine. Closing.
- 17:17 Design #475: Eliminate package approx
- Implemented @FloatApprox@ (binary version) in CoCoALib. Documented.
How to make the function available to CoCoA-5... - 06:52 Design #475: Eliminate package approx
- John Abbott wrote:
> I suggest replacing clas @MantExp@ by @MantExp10@ (or @Mant10Exp@);
> and then create new class ... - 10:13 Feature #514 (Resolved): submodule: minimalize, minimalized
- Seems to work, needs proper tests.
- 09:46 Support #322 (In Progress): Installation instructions (on website)
- 09:45 Feature #106 (In Progress): I:f (IDEAL and RINGELEM) -- operator colon
- 09:02 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 Feature #502: New fn/object type: timer
- I have added an entry for @TimeFrom@ to the C5 manual.
- 00:51 Design #475: Eliminate package approx
- I suggest replacing class @MantExp@ by @MantExp10@ (or @Mant10Exp@);
and then create new class @MantExp2@ (or @Mant2E... - 00:47 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 Design #534 (Closed): Remove float.cpkg5
- All the fns which were exported by @float.cpkg5@ are now in CoCoALib.
Remove @float.cpkg5@?
- 17:46 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 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 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:04 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 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 Bug #94 (Feedback): Default reason for protected variables
- I have implemented the suggestion in comment-2.
Changing status to feedback.
- 15:12 Support #530 (Rejected): Interpreter error message: "for" with missing "do"
- Why do we get different error messages?...
- 14:54 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 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 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 Feature #200: add modules and module operations
- added *shifts(FreeModule)*
- 17:54 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 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 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 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... - 14:20 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:01 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 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 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 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 Bug #524: BuiltInFunctions: remove calls to WrongTypeException
- I modernized *RingOf*: code much much nicer now!
- 09:14 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 Bug #524 (Closed): BuiltInFunctions: remove calls to WrongTypeException
- Many functions calling to *WrongTypeException* could be modernized using *EvalArgAsT1OrT2..* making the code shorte, ...
- 08:27 Design #294 (In Progress): BuiltInFunctions: General "OneLiner" for arguments of different type
- 08:25 Design #294 (Closed): BuiltInFunctions: General "OneLiner" for arguments of different type
- 08:25 Feature #284 (Closed): BuiltInFunctions: more flexible typing in one-line function declaration
04 Apr 2014
- 17:41 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 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:20 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 Feature #419 (In Progress): FloatStr
- This should be quick & easy!
- 17:01 Support #463 (Feedback): Make man page for "It" easier to read
- Various changes to the manual have greatly improved findability and readability.
- 16:50 Bug #239 (Closed): Normaliz functions not available in C5 GUI (again!)
- No complaints in over a year --> closing.
- 16:41 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 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 Feature #502: New fn/object type: timer
- JAA suggests documenting and publishing @TimeFrom@ but not @CpuTimeFrom@.
Really @CpuTimeFrom@ seems superfluous to ... - 16:23 Design #475 (In Progress): Eliminate package approx
- Only the function @FloatApprox@ remains to be done.
- 15:17 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 Feature #245 (In Progress): Meaningful error for functions defined in "missing" external library
- Here's a possible defn for @DECLARE_MISSING_EXTLIB@...
- 14:28 Design #472 (Closed): Record keyword
- Closing because already covered by #395
- 14:28 Support #395 (Closed): Naming conventions: upper or lower case?
- Closing because already covered by #395
- 14:22 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 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 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 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 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 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 Support #521 (Closed): Manual: automatically check all examples
- Write a script/program which automatically checks all examples in the manual.
- 07:38 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 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:11 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 Feature #518 (Closed): incr/decr functions: to be used in packages
- use *incr* when possible in packages
- 20:32 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 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 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 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 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 Support #325 (Closed): CoCoAManual: display syntax first
02 Apr 2014
- 17:39 Feature #514 (Closed): submodule: minimalize, minimalized
- minimalize, minimalized have been implemented for ideal using *MinGens*.
Implement it for (sub)modules - 17:37 Feature #365 (Closed): add function to compute minimal generators (like Minimalize)
- 17:32 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 Feature #362 (Feedback): New function: IsZeroDivisor
- 17:18 Bug #32 (Closed): Elim(t, I)
- 17:13 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... - 16:24 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
- John: please send me *CoCoAInterpreter* for 10.5
- 14:45 Bug #509 (Closed): SyzOfGens (CoCoA-5) does not have correct shifts
- ...
- 14:21 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 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 Feature #504: New operators: += -= *= /=
- Would we really want all 4 operators @+=@, @-=@, @*=@ and @/=@?
Probably @/=@ would be used only rarely, but if we... - 12:15 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 Feature #504: New operators: += -= *= /=
- I like the @+=@ syntax very much, so I would vote for it.
For the incr, why not also @++@? - 08:02 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... - 09:56 Feature #454: interpolate
- Has this been done somehow?
- 09:53 Design #403 (In Progress): Misuse of dot-dot operator
- 09:50 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
- Is that still true? Ask the students ;-)
- 09:49 Feature #384: IsZero for matrix
- I think we should have *IsZero* for *MAT*
01 Apr 2014
- 01:17 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 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...
- 18:46 Feature #105 (Closed): Add I*f and f*I (RINGELEM and IDEAL)
- 18:15 Support #503 (Closed): CoCoA website: CoCoA-5.0.9 pages
- Check download page
- 18:14 Support #348 (Closed): CoCoA website: CoCoA-5.0.3 pages
- 13:21 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 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 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 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 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 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 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 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 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 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 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 Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?
- If we input ...
- 14:01 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 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:44 Feature #105 (Feedback): Add I*f and f*I (RINGELEM and IDEAL)
- JAA has made a simplistic impl.
Documentation?
- 09:08 Feature #200: add modules and module operations
- Added *MinGens*
- 08:47 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 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 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 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...
27 Mar 2014
- 18:33 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...
- 15:30 Feature #273 (Resolved): Package for Polynomial Algebra Homomorphisms
- *ADD* this code as a CoCoA-5 package (or reimpl in CoCoALib).
26 Mar 2014
- 17:09 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 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 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 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:03 Design #364 (Resolved): Incr command/function
- Placing defns of @incr@ and @decr@ in @NotBuiltin@.
JAA will add doc. - 17:56 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
- Delayed several issues to 5.1.0.
- 16:19 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 Support #296 (In Progress): Documentation for Parser/Interpreter
- 17:40 Feature #216 (In Progress): Janet Bases: port function into CoCoA-5
- 17:36 Bug #446 (Closed): intersection fails with zero ideal
- 17:35 Bug #397 (In Progress): EMACS UI: fix windows splitting
- 17:21 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 Feature #328 (Closed): Swap
- No trouble after 1 month in feedback.
Minor revision to the documentation.
Closing.
- 14:54 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 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 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 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
- 11:45 Design #493 (Closed): Cleanup Hilbert package hp.cpkg5
- Check all functions and update the manual.
Choose the "official name" for functions. - 10:32 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 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 Feature #492: New C5 fn for adjusting the warning level
- @SetWarningLevel@ sounds good and clear!
- 09:50 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 Bug #468: Emacs UI: indentation is wrong after ?keyword
- I felt better before looking at this code...
Giving up!
- 12:37 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 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 Bug #471 (Feedback): Nested multiline comments
- I think the current state is a fair compromise; so changing status to @feedback@
- 12:01 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 Design #491: Cleaning: Cruft in CoCoA-5 packages
- The packages that "upset" me the most are @coclib@ and @primary@ (or @radical@?)
- 22:27 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 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 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 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 Bug #471: Nested multiline comments
- Well, I didn't wait for anyone else's opinion. I've implemented the warning....
- 10:26 Bug #471: Nested multiline comments
- I suggest adding a warning if @/*@ is found inside a @/*...*/@ comment. This would alert users to a (probable?) pres...
21 Mar 2014
- 15:16 Design #490: Duplicate fns: valuation and FactorMultiplicity
- @FactorMultiplicity@ is defined in @GCDFreebasis.cpkg5@
- 14:35 Design #490 (Closed): Duplicate fns: valuation and FactorMultiplicity
- CoCoA-5 has two virtually identical fns *@valuation@* and *@FactorMultiplicity@*.
We need only one of them!
Decid... - 14:30 Support #395: Naming conventions: upper or lower case?
- JAA will ensure that all existing packages work without @BackwardCompatible.cpkg5@; this is simply a matter of code c...
- 14:15 Bug #446: intersection fails with zero ideal
- added test in cocoalib. closing.
- 12:56 Bug #446: intersection fails with zero ideal
- ehm.... most of them yes ;-) except SparsePolyRing ideals (I think).
Looking at all of them I'm getting convinced... - 12:32 Bug #446: intersection fails with zero ideal
- Do the @myIntersect@ functions have assertions that their args are valid?
- 09:53 Bug #446 (Feedback): intersection fails with zero ideal
- done and added to test-ideal1.
Added the zero ideal case to... - 14:09 Support #489 (In Progress): CoCoAManual: Doc for strings
- I have already improved the page "Intro to Strings"; but there are several other pages which need to be merged into a...
- 14:08 Support #489 (Closed): CoCoAManual: Doc for strings
- The CoCoA-5 documentation for strings needs to be tidied up, and properly integrated.
- 11:59 Feature #330 (In Progress): Syzygy for modules: homogeneous module
- It works on homogeneous input.... I would really need a volunteer to test the non-homogeneous case (either that or an...
- 11:57 Support #488: CoCoAManual: Help page for porting old C4 code to C5
- The CoCoA online manual should also have a short message on each page about functions/operators where changes are nee...
- 10:47 Support #488: CoCoAManual: Help page for porting old C4 code to C5
- Tips on updating old C4 code to C5:
* @Not@ operator now replaced by function @not@ which requires brackets!
* @LinKe... - 10:41 Support #488 (Closed): CoCoAManual: Help page for porting old C4 code to C5
- We need to produce a manual page about porting old C4 code to C5.
- 11:46 Support #398: Resurrect Relnotes()
- resurrected. now it needs to be filled ;-)
- 11:35 Feature #372 (Closed): add IsFactorClosed
- no more problems have arisen. closing.
- 11:31 Feature #306 (Closed): Function for accessing the pointed value
- No problems have arisen. Closing.
- 11:30 Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct
- No problems have arisen. Closing.
- 10:39 Feature #487: ScalarProduct accepts MatrixRow?
- I like defining (mathematically) matrix multiplication by scalar products, so I'm in favour of adding it.
*GetRow* w... - 10:31 Feature #487: ScalarProduct accepts MatrixRow?
- I'm rather undecided about this.
I suppose KISS would say not to widen the arg types accepted by @ScalarProduct@, ... - 10:25 Feature #487 (New): ScalarProduct accepts MatrixRow?
- Yesterday I saw some old C4 code. In it the author had a call of the form @ScalarProduct(M[I],L)@ where @M@ is a mat...
- 10:30 Bug #444: Not keyword/operator
- (a problem has arisen ;-)
added Not, NOT in *BackwardCompatible* - 10:27 Feature #365: add function to compute minimal generators (like Minimalize)
- I implemented *GeneralMinGens* for the non-homogeneous case: it does the obvious check on every generator.
Obviously ... - 10:03 Feature #365: add function to compute minimal generators (like Minimalize)
- updated manual (will not work on quotients, no need).
Still lacking: module -- is that _essentially_ trivial? (modu... - 09:55 Design #449 (Closed): Emacs UI: names of emacs fns
- trivial issue, all done. Closing.
- 09:37 Support #348 (Feedback): CoCoA website: CoCoA-5.0.3 pages
- 09:36 Support #348: CoCoA website: CoCoA-5.0.3 pages
- some improvement in the download page and in the "older versions" page
20 Mar 2014
- 17:34 Bug #486: Warning about variable hiding another -- too zealous
- How to determine the "scope" of a variable?
A function comprises a sequential succession of "top-level" commands; the... - 17:29 Bug #486 (New): Warning about variable hiding another -- too zealous
- The warning are sometimes is needlessly alarmist:...
- 17:24 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- Let's do it as in cocoa-4: there was an init file for everyone and an additional userinit file for user preferences.
... - 17:05 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- The @init.cocoa5@ file should be in a personal location (presumably home directory) and not with the files that form ...
- 14:37 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- I thought that would be so easy and now I see a little problem.
CoCoA-5 loads all the files in the directory @packag... - 11:05 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- I would set for @init@, same as in cocoa-4.
My personal file just contains the line @Use R;@ ;-) - 10:53 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- The name *@init.cocoa5@* is reasonable; are there any other candidates?
*@StartUp.cocoa5@*
*@settings.cocoa5@*
[... - 10:51 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- I agree that it is a good idea:
* beginners will find CoCoA-5 immediately usable (as CoCoA-4 was)
* advanced users ... - 10:13 Feature #485 (In Progress): Initialization for CoCoA-5: file init.cocoa5
- This is in fact trivial to do it: we just have to add such file to the packages directory (at it was done in CoCoA-4)...
- 10:10 Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5
- In CoCoA-4 there was a file called @init.coc@ with some "initial" settings.
Now most initialization are done by CoCo... - 17:22 Bug #118 (Closed): unistd and call to access in Main.C
- No problems for over a year --> closing!
- 11:13 Design #481: Multiline comments -- obsolescent?
- Current cvs produces a "warning". That's very good for maintainers who have to deal cleanly with lots of code.
Fo... - 09:18 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
- That would be handy! But I expect it to be hard to implement.
Right now the closer you can get to it is ...
19 Mar 2014
- 21:55 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
- We must determine the exact semantics (C4 was pretty vague, I believe).
We should decide what syntax to use.
It m... - 21:52 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
- Sorry, I thought I was already in CoCoA-5
- 21:50 Feature #484 (Closed): Evaluate in other ring (was called :: in CoCoA-4)
- CoCoA-4 has the *@::@* operator which evaluated expressions in a given ring:...
- 21:37 Design #483: Unique copies of rings in CoCoA-5
- Conceptually this issue seems practically identical to #482.
Yet, I think they are slightly independent: if CoCoAL... - 21:32 Design #483 (New): Unique copies of rings in CoCoA-5
- If a user creates the same ring twice, should he get the exact same ring?...
- 21:07 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- A significant problem is that the printed form is produced by CoCoALib which naturally knows nothing about variable v...
- 16:38 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- Having just recently discovered that commenting out the printed matrix with ...
- 21:00 Feature #274: InputForm for output readable as input
- Here are some thoughts about @InputForm@ (or whatever it will be called):
* it could be a separate command or perhap... - 17:51 Design #473 (Resolved): Multiline string literals - useful or obsolescent?
- I have just checked in the revised @getStringLiteral@ (the old one is commented out).
Multiline strings were never... - 12:34 Design #473: Multiline string literals - useful or obsolescent?
- I have made a copy of @Lexer::getStringLiteral@ which handles only normal string literals. It is 60 lines long compa...
- 09:34 Bug #460: Emacs UI: updating abbrev-table
- John Abbott wrote:
> Somehow we'll have to tell those who have created @.abbrev_defs@ to remove it (or edit it to rem...
18 Mar 2014
- 17:45 Bug #469 (In Progress): Emacs UI: keywords in multiline comments
- JAA thinks is would be too costly to change the Emacs code to handle this correctly (especially considering its low i...
- 17:35 Design #481 (In Progress): Multiline comments -- obsolescent?
- My opinion is:
(a) is too drastic: not backward compatible, single line @/*...*/@ can be useful
(b) my favourite (and... - 17:29 Design #481 (Closed): Multiline comments -- obsolescent?
- Multiline comments are convenient, inconvenient and potentially hazardous.
Convenient for commenting out blocks of... - 17:08 Design #473: Multiline string literals - useful or obsolescent?
- Our options are:
# remove all code related to multiline string literals
# comment out all code related to multiline... - 16:58 Design #473 (In Progress): Multiline string literals - useful or obsolescent?
- The source code relating to the recognition of string literals is in @Lexer.C:423--511@...
- 16:45 Bug #471: Nested multiline comments
- A purely practical point: the C5 interpreter was not designed to handle nested @/*...*/@ comments, and I'm pretty cer...
- 16:29 Bug #470 (Feedback): Emacs UI: cocoa5-close-block should beep when there is no block to close
- I introduced the bug when "correcting" some redundant looking code (see post 1 in #441).
I've now restored the cod... - 15:52 Bug #460: Emacs UI: updating abbrev-table
- Somehow we'll have to tell those who have created @.abbrev_defs@ to remove it (or edit it to remove the @cocoa5-abbre...
- 15:48 Feature #346: Describe should indicate package name
- A possibly simpler solution to the problem would be to have a function *@PackageOf@* which says which package protect...
- 12:14 Feature #346: Describe should indicate package name
- Packages export their varables in the function:...
- 12:03 Feature #346: Describe should indicate package name
- The relevant source code appears to be in @Interpreter.C:229@:...
- 15:28 Bug #444 (Closed): Not keyword/operator
- No problems have arisen in 2 weeks, so I'm closing this issue.
- 15:10 Bug #394 (Rejected): problem with ContentFreeFactor (and missing manual entry)
- Since Anna cannot recall what the problem was, and some simple _ad hoc_ tests encountered no problems, I shall to "re...
- 14:37 Support #208 (Resolved): describe $package
- The modified impl seems OK to me.
I have modified the CoCoA-5 doc too: @Functions@ is now marked as *obsolete*;
@des... - 12:41 Support #208 (In Progress): describe $package
- I think I've corrected the code so that exported names appear first.
Will check after lunch.
- 12:22 Support #208: describe $package
- The relevant source code is in @Interpereter.C:233@...
- 10:34 Slug #480 (New): gcd too slow for large degree univariate poly
- CoCoA-5 used more than 6Gbytes of memory while trying to compute @gcd(f,x^(31^6)-x)@ in @ZZ/(31)[x]@ where @f := x^15...
17 Mar 2014
- 11:34 Bug #471: Nested multiline comments
- Here is why I think nested "multiline" comments are problematic; essentially the parser is compelled to parse the com...
- 09:50 Bug #471: Nested multiline comments
- CoCoA-4 had nested comments /* /* */ */.
In CoCoA-5 G.Lagorio refused to maintain that feature because _"C does not a... - 09:42 Design #478 (In Progress): Use of dollar-dot ($.) in packages
- John Abbott wrote:
> Several packages refer to non exported functions by calling them with the prefix @$.@.
>
> Appa...
16 Mar 2014
- 09:13 Design #478 (Closed): Use of dollar-dot ($.) in packages
- Several packages refer to non exported functions by calling them with the prefix @$.@.
Apparently this is no longe...
Also available in: Atom