Project

General

Profile

Activity

From 06 Mar 2014 to 04 Apr 2014

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...
Anna Maria Bigatti
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... Anna Maria Bigatti
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... Anna Maria Bigatti
17:08 Feature #419 (In Progress): FloatStr
This should be quick & easy! John Abbott
17:01 Support #463 (Feedback): Make man page for "It" easier to read
Various changes to the manual have greatly improved findability and readability.
John Abbott
16:50 Bug #239 (Closed): Normaliz functions not available in C5 GUI (again!)
No complaints in over a year --> closing.
John Abbott
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...
John Abbott
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.
John Abbott
16:34 Feature #502: New fn/object type: timer
JAA suggests documenting and publishing @TimeFrom@ but not @CpuTimeFrom@.
Really @CpuTimeFrom@ seems superfluous to ...
John Abbott
16:23 Design #475 (In Progress): Eliminate package approx
Only the function @FloatApprox@ remains to be done.
John Abbott
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... John Abbott
15:04 Feature #245 (In Progress): Meaningful error for functions defined in "missing" external library
Here's a possible defn for @DECLARE_MISSING_EXTLIB@... John Abbott
14:28 Design #472 (Closed): Record keyword
Closing because already covered by #395 John Abbott
14:28 Support #395 (Closed): Naming conventions: upper or lower case?
Closing because already covered by #395 John Abbott
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...
John Abbott
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...
John Abbott
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...
John Abbott
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...
John Abbott
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... John Abbott
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... John Abbott
11:32 Support #521 (Closed): Manual: automatically check all examples
Write a script/program which automatically checks all examples in the manual. John Abbott
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...
John Abbott
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...
Anna Maria Bigatti

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? John Abbott
20:13 Feature #518 (Closed): incr/decr functions: to be used in packages
use *incr* when possible in packages Anna Maria Bigatti
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...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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
Anna Maria Bigatti
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
...
Anna Maria Bigatti
20:07 Support #325 (Closed): CoCoAManual: display syntax first
Anna Maria Bigatti

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
Anna Maria Bigatti
17:37 Feature #365 (Closed): add function to compute minimal generators (like Minimalize)
Anna Maria Bigatti
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... John Abbott
15:42 Feature #362 (Feedback): New function: IsZeroDivisor
Anna Maria Bigatti
17:18 Bug #32 (Closed): Elim(t, I)
Anna Maria Bigatti
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...
Anna Maria Bigatti
16:24 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
John: please send me *CoCoAInterpreter* for 10.5 Anna Maria Bigatti
14:45 Bug #509 (Closed): SyzOfGens (CoCoA-5) does not have correct shifts
... Anna Maria Bigatti
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...
Anna Maria Bigatti
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... Christof Soeger
12:21 Feature #504: New operators: += -= *= /=
Would we really want all 4 operators @+=@, @-=@, @*=@ and @/=@?
Probably @/=@ would be used only rarely, but if we...
John Abbott
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... John Abbott
11:39 Feature #504: New operators: += -= *= /=
I like the @+=@ syntax very much, so I would vote for it.
For the incr, why not also @++@?
Christof Soeger
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...
Anna Maria Bigatti
09:56 Feature #454: interpolate
Has this been done somehow?
Anna Maria Bigatti
09:53 Design #403 (In Progress): Misuse of dot-dot operator
Anna Maria Bigatti
09:50 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
Is that still true? Ask the students ;-) Anna Maria Bigatti
09:49 Feature #384: IsZero for matrix
I think we should have *IsZero* for *MAT*
Anna Maria Bigatti

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 ...
John Abbott
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... John Abbott
18:46 Feature #105 (Closed): Add I*f and f*I (RINGELEM and IDEAL)
Anna Maria Bigatti
18:15 Support #503 (Closed): CoCoA website: CoCoA-5.0.9 pages
Check download page Anna Maria Bigatti
18:14 Support #348 (Closed): CoCoA website: CoCoA-5.0.3 pages
Anna Maria Bigatti
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).
John Abbott

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...
John Abbott
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...
Anna Maria Bigatti
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!
...
John Abbott

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@...
John Abbott
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...
John Abbott
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...
John Abbott

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 ...
John Abbott
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...
John Abbott
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...
Anna Maria Bigatti
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...
John Abbott
09:24 Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?
If we input ... Anna Maria Bigatti
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...
Anna Maria Bigatti
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... John Abbott
09:44 Feature #105 (Feedback): Add I*f and f*I (RINGELEM and IDEAL)
JAA has made a simplistic impl.
Documentation?
John Abbott
09:08 Feature #200: add modules and module operations
Added *MinGens* Anna Maria Bigatti
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/...
Anna Maria Bigatti
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:...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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... Anna Maria Bigatti

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... John Abbott
15:30 Feature #273 (Resolved): Package for Polynomial Algebra Homomorphisms
*ADD* this code as a CoCoA-5 package (or reimpl in CoCoALib).
John Abbott

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... Anna Maria Bigatti
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...
John Abbott

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... John Abbott
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 @***...**... John Abbott
18:03 Design #364 (Resolved): Incr command/function
Placing defns of @incr@ and @decr@ in @NotBuiltin@.
JAA will add doc.
John Abbott
17:56 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
Delayed several issues to 5.1.0.
John Abbott
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!
John Abbott
17:42 Support #296 (In Progress): Documentation for Parser/Interpreter
John Abbott
17:40 Feature #216 (In Progress): Janet Bases: port function into CoCoA-5
John Abbott
17:36 Bug #446 (Closed): intersection fails with zero ideal
John Abbott
17:35 Bug #397 (In Progress): EMACS UI: fix windows splitting
John Abbott
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...
John Abbott
15:11 Feature #328 (Closed): Swap
No trouble after 1 month in feedback.
Minor revision to the documentation.
Closing.
John Abbott
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... John Abbott
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)
...
John Abbott
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 ...
John Abbott
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 ...
Anna Maria Bigatti

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.
Anna Maria Bigatti
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 ...
Anna Maria Bigatti
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...
Anna Maria Bigatti
10:23 Feature #492: New C5 fn for adjusting the warning level
@SetWarningLevel@ sounds good and clear! Anna Maria Bigatti
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).
...
John Abbott

23 Mar 2014

13:22 Bug #468: Emacs UI: indentation is wrong after ?keyword
I felt better before looking at this code...
Giving up!
John Abbott
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 !?!
John Abbott
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...
John Abbott
12:28 Bug #471 (Feedback): Nested multiline comments
I think the current state is a fair compromise; so changing status to @feedback@
John Abbott
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....
John Abbott

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@?)
John Abbott
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... John Abbott
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? John Abbott
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 ...
John Abbott
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...
John Abbott
10:48 Bug #471: Nested multiline comments
Well, I didn't wait for anyone else's opinion. I've implemented the warning.... John Abbott
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... John Abbott

21 Mar 2014

15:16 Design #490: Duplicate fns: valuation and FactorMultiplicity
@FactorMultiplicity@ is defined in @GCDFreebasis.cpkg5@
John Abbott
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...
John Abbott
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... John Abbott
14:15 Bug #446: intersection fails with zero ideal
added test in cocoalib. closing. Anna Maria Bigatti
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...
Anna Maria Bigatti
12:32 Bug #446: intersection fails with zero ideal
Do the @myIntersect@ functions have assertions that their args are valid?
John Abbott
09:53 Bug #446 (Feedback): intersection fails with zero ideal
done and added to test-ideal1.
Added the zero ideal case to...
Anna Maria Bigatti
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... John Abbott
14:08 Support #489 (Closed): CoCoAManual: Doc for strings
The CoCoA-5 documentation for strings needs to be tidied up, and properly integrated.
John Abbott
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... Anna Maria Bigatti
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... John Abbott
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...
John Abbott
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.
John Abbott
11:46 Support #398: Resurrect Relnotes()
resurrected. now it needs to be filled ;-)
Anna Maria Bigatti
11:35 Feature #372 (Closed): add IsFactorClosed
no more problems have arisen. closing. Anna Maria Bigatti
11:31 Feature #306 (Closed): Function for accessing the pointed value
No problems have arisen. Closing. Anna Maria Bigatti
11:30 Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct
No problems have arisen. Closing. Anna Maria Bigatti
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...
Anna Maria Bigatti
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@, ...
John Abbott
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... John Abbott
10:30 Bug #444: Not keyword/operator
(a problem has arisen ;-)
added Not, NOT in *BackwardCompatible*
Anna Maria Bigatti
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 ...
Anna Maria Bigatti
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...
Anna Maria Bigatti
09:55 Design #449 (Closed): Emacs UI: names of emacs fns
trivial issue, all done. Closing. Anna Maria Bigatti
09:37 Support #348 (Feedback): CoCoA website: CoCoA-5.0.3 pages
Anna Maria Bigatti
09:36 Support #348: CoCoA website: CoCoA-5.0.3 pages
some improvement in the download page and in the "older versions" page Anna Maria Bigatti

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...
John Abbott
17:29 Bug #486 (New): Warning about variable hiding another -- too zealous
The warning are sometimes is needlessly alarmist:... John Abbott
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.
...
Anna Maria Bigatti
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 ... John Abbott
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...
Anna Maria Bigatti
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;@ ;-)
Anna Maria Bigatti
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@*
[...
John Abbott
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 ...
John Abbott
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)... Anna Maria Bigatti
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...
Anna Maria Bigatti
17:22 Bug #118 (Closed): unistd and call to access in Main.C
No problems for over a year --> closing!
John Abbott
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...
Anna Maria Bigatti
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 ...
Anna Maria Bigatti

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...
John Abbott
21:52 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
Sorry, I thought I was already in CoCoA-5 John Abbott
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:... John Abbott
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...
John Abbott
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?... John Abbott
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... John Abbott
16:38 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
Having just recently discovered that commenting out the printed matrix with ... Anna Maria Bigatti
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...
John Abbott
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...
John Abbott
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... John Abbott
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...
Anna Maria Bigatti

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... John Abbott
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...
John Abbott
17:29 Design #481 (Closed): Multiline comments -- obsolescent?
Multiline comments are convenient, inconvenient and potentially hazardous.
Convenient for commenting out blocks of...
John Abbott
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...
John Abbott
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@... John Abbott
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... John Abbott
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...
John Abbott
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... John Abbott
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... John Abbott
12:14 Feature #346: Describe should indicate package name
Packages export their varables in the function:... John Abbott
12:03 Feature #346: Describe should indicate package name
The relevant source code appears to be in @Interpreter.C:229@:... John Abbott
15:28 Bug #444 (Closed): Not keyword/operator
No problems have arisen in 2 weeks, so I'm closing this issue.
John Abbott
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... John Abbott
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...
John Abbott
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.
John Abbott
12:22 Support #208: describe $package
The relevant source code is in @Interpereter.C:233@... John Abbott
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... John Abbott

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... John Abbott
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...
Anna Maria Bigatti
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...
Anna Maria Bigatti

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...
John Abbott

14 Mar 2014

20:46 Design #477: Eliminate keyword Alias?
I have removed several uses of @Alias@ but making use of @$.@ in packages.
There are some cases where it cannot be...
John Abbott
20:44 Design #477 (New): Eliminate keyword Alias?
I think the concept of @Alias@ is no longer needed (or only very rarely).
Can we eliminate it?
John Abbott
20:42 Design #476 (In Progress): Review utility of package IO
Package @io@ does not do much currently; can we eliminate it? John Abbott
20:18 Design #475 (Closed): Eliminate package approx
Implement in CoCoALib the fns in package @approx@; then eliminate the package.
Some fns are already in CoCoALib.
John Abbott
20:16 Design #474 (In Progress): Eliminate package BinRepr
Implement in CoCoALib the fns in package @BinRepr@; some of this has already been done.
Then eliminate the package.
John Abbott
12:24 Bug #471: Nested multiline comments
While checking in I noticed a "valid use" for multiline comments: in the file @latex.cpkg5@ there are some examples/t... John Abbott

13 Mar 2014

18:06 Bug #470: Emacs UI: cocoa5-close-block should beep when there is no block to close
I was wrong: it wasn't so easy to write the elisp function, but I think I have one which works now! :-)
Next step ...
John Abbott
14:49 Bug #470: Emacs UI: cocoa5-close-block should beep when there is no block to close
I think it may be useful to have an emacs fn which says whether @point@ is in a string literal, in a comment, or in c... John Abbott
16:52 Design #473: Multiline string literals - useful or obsolescent?
My suggestion about juxtaposition of string literals is *not backward compatible* because juxtaposition is already de... John Abbott
15:33 Design #473: Multiline string literals - useful or obsolescent?
We could define juxtaposition of normal string literals to mean concatenation with a newline inserted between the two... John Abbott
15:29 Design #473 (Closed): Multiline string literals - useful or obsolescent?
For the same reasons I do not like multiline comments, I have grave doubts about multiline string literals. They see... John Abbott
15:20 Design #472: Record keyword
Also consider @Record@ in @cocoa5-mode-abbrev-table@.
Similar questions about most CoCoA-5 keywords!
John Abbott
15:07 Design #472 (Closed): Record keyword
What capitalization do we want for the keyword @Record@?
Currently CoCoA-5 uses @Record@, but the manual prefers @...
John Abbott
12:35 Support #439: CoCoA website: download pages and installing instructions
I made an "older versions" page.
Now the download pages show only the latest version.
Anna Maria Bigatti

12 Mar 2014

23:39 Bug #460 (In Progress): Emacs UI: updating abbrev-table
John Abbott wrote:
> A quick test suggests that this does not work, or at least not as I would like (_e.g._ @Lambda@ ...
Anna Maria Bigatti
23:01 Bug #460: Emacs UI: updating abbrev-table
John Abbott wrote:
> One post I read suggested that @cocoa5-abbrev-table@ should be @cocoa5-mode-abbrev-table@. Inv...
Anna Maria Bigatti
22:52 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
Added entry "All CoCoA Commands".
It only gives the list of entries with type "command".
Fairly easy to add (still ...
Anna Maria Bigatti
14:13 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
What I mean is just the *keywords* and syntax of CoCoA language:
* @Return@ _expr_
* @If@ _bool-expr_ @Then@ _cmd_ @E...
John Abbott
13:55 Feature #466 (In Progress): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
You mean something like... Anna Maria Bigatti
12:39 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
Yes, I mean CoCoALanguage *commands*; no, I don't mean *functions*!
Possibly a few important functions could be name...
John Abbott
20:40 Bug #471: Nested multiline comments
John Abbott wrote:
> I have inserted the following in @Lexer.C:83@ right before the declaration of the variable @cha...
Anna Maria Bigatti
18:09 Bug #471: Nested multiline comments
I have inserted the following in @Lexer.C:83@ right before the declaration of the variable @chars@ (what purpose doe... John Abbott
17:44 Bug #471: Nested multiline comments
Places we should look at for changing the parser so that it warns about (or complains about) multiline comments:
@...
John Abbott
17:20 Bug #471: Nested multiline comments
I've modified all packages so that they use either end-of-line comments (if possible) or single-line embedded comment... John Abbott
16:26 Bug #471: Nested multiline comments
I've updated the CoCoAManual entry; it doesn't say that @/*...*/@ works for multiline comments (but it doesn't forbid... John Abbott
16:06 Bug #471 (In Progress): Nested multiline comments
Here is another option:
*(C2)* In CoCoA-5.1 continue to allow the multiline syntax, but issue warnings every time a ...
John Abbott
16:01 Bug #471: Nested multiline comments
One reason for having multiline comments is that it becomes easy to comment out blocks of code; this is also what pro... John Abbott
15:42 Bug #471: Nested multiline comments
As already pointed out in #469 (update 2) I think we should aim to make multiline comments obsolescent. Here are som... John Abbott
15:18 Bug #471 (Closed): Nested multiline comments
C5 does not support nested multiline comments.
The following input produces @7@...
John Abbott
13:54 Bug #470: Emacs UI: cocoa5-close-block should beep when there is no block to close
Here are some test cases; I use @#@ to mark the position of the cursor.
*Case 1*...
John Abbott
13:41 Bug #470 (Closed): Emacs UI: cocoa5-close-block should beep when there is no block to close
When there is no block to close @cocoa5-close-block@ behaves strangely.
If there is no code before @point@ then it...
John Abbott
13:31 Bug #469: Emacs UI: keywords in multiline comments
I think this issue is unimportant because it is hard to imagine when someone would use a multiline comment to comment... John Abbott
13:27 Bug #469: Emacs UI: keywords in multiline comments
I fear that it would be quite tricky to solve this one properly. Reverse scanning to decide if some line is inside a... John Abbott
13:14 Bug #469 (Resolved): Emacs UI: keywords in multiline comments
The close block fn @C-c C-e@ gets confused by unclosed code blocks inside multiline comments. Here is an example:
<...
John Abbott
13:07 Feature #464: Emacs UI: split horizontally instead of vertically?
If we have a global variable, we could make it 3-state: @horizontal-split@, @vertical-split@ or @auto@.
If we do t...
John Abbott
12:59 Bug #468: Emacs UI: indentation is wrong after ?keyword
Recall that @?@ simply has to be the first non-space character in a command (and not the first non-space character on... John Abbott
12:52 Bug #468 (New): Emacs UI: indentation is wrong after ?keyword
I have identified one case where indentation in a @cocoa5@ file goes wrong.
I have checked that @C-c C-e@ is confuse...
John Abbott

11 Mar 2014

18:25 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
You mean the syntax of all commands in CoCoA?
that's not difficult, but it's going to be huge!
Anna Maria Bigatti
17:49 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
Such a page would be useful for people who already know how to program, and simply want to see the complete syntax al... John Abbott
17:47 Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
I suggest adding a page which summarises briefly the language syntax of CoCoA-5 (with link to each detailed page for ... John Abbott
17:43 Slug #465: Emacs UI; remove cruft
Also remove @DegLex@, @DegRevLex@, @Lex@, @Xel@?
Also remove @Vector@, @ToPos@, @PosTo@?
John Abbott
17:41 Slug #465 (New): Emacs UI; remove cruft
There is a lot of cruft in @cocoa5.el@; most of it should be removed!
There are many commented out keywords in @co...
John Abbott
17:21 Feature #464: Emacs UI: split horizontally instead of vertically?
I think using the @rotate-split@ function is probably the best solution; it is quite general and might even be useful... John Abbott
14:56 Feature #464: Emacs UI: split horizontally instead of vertically?
I think the default should be horizontal.
I can make the hor/ver toggle available in the menu.
It can be set for all ...
Anna Maria Bigatti
13:02 Feature #464: Emacs UI: split horizontally instead of vertically?
I found the following nice Emacs function... John Abbott
12:58 Feature #464: Emacs UI: split horizontally instead of vertically?
Here are some emacs fns which might be useful:
@window-body-width@ width of the text area
@window-body-height@ hei...
John Abbott
12:14 Feature #464: Emacs UI: split horizontally instead of vertically?
Here are some other design ideas
# make the current functions choose automatically between vert/horiz split (_e.g._ ...
John Abbott
11:59 Feature #464 (In Progress): Emacs UI: split horizontally instead of vertically?
Here is a function which works a bit like @M-x cocoa5@ but makes a horizontal split:... John Abbott
11:51 Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?
The students in Alg Comp would like to be able to have CoCoA source file on the left, and the running interpreter on ... John Abbott

10 Mar 2014

18:25 Support #463 (Closed): Make man page for "It" easier to read
The online manual page for *@It@* is hard to read.... John Abbott

09 Mar 2014

21:19 Bug #462: Emacs UI: semicolon problems
I think the problem is the call on line @cocoa5.el:489@:... John Abbott
21:16 Bug #462 (Closed): Emacs UI: semicolon problems
Semicolon sometimes does strange things.
It places the cursor in the wrong place if you type semicolon immediately...
John Abbott
10:25 Feature #461 (Rejected): New keyword "|->"? (same as "return")
Here is an idea (silly?)
We could add the new keyword @|->@ which has the same semantics as @Return@. This would ...
John Abbott
10:21 Bug #460: Emacs UI: updating abbrev-table
One post I read suggested that @cocoa5-abbrev-table@ should be @cocoa5-mode-abbrev-table@. Investigate and decide.
John Abbott
10:17 Bug #460: Emacs UI: updating abbrev-table
One possible solution is to forcibly load the @.abbrev_defs@ file *before* loading @cocoa5@ mode. I believe thsi can... John Abbott
10:04 Bug #460 (Closed): Emacs UI: updating abbrev-table
I changed my @cocoa5.el@ file and was surprised to find that some keywords which have now been removed were still rec... John Abbott

07 Mar 2014

15:25 Feature #371 (Closed): Resurrect LinearSimplify
No problems reported in the last 9 months, so closing. John Abbott
13:35 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
The regexp... John Abbott
13:01 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
Here is are two test cases. The first works OK; the second does not.... John Abbott
12:48 Bug #441 (Resolved): Emacs UI: C-c C-e does not ignore keywords inside strings
I now have a new regexp which seems to work better:... John Abbott
12:03 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
My regexp doesn't work quite as I hoped: it fails of the matching start keyword is on the same line as point. Here's... John Abbott
11:36 Bug #441 (In Progress): Emacs UI: C-c C-e does not ignore keywords inside strings
I have added a regexp "suffix" so that keywords are recognised "outside strings".
Here is the regexp...
John Abbott
12:49 Bug #394 (Feedback): problem with ContentFreeFactor (and missing manual entry)
I can't remember. Now I cannot reproduce what problem I managed to invent when there was no manual ;-)
Maybe it was...
Anna Maria Bigatti

06 Mar 2014

20:53 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
I believe the relevant function is @cocoa5-close-block@. The bug probably lies inside @cocoa5-last-unended-begin@ (d... John Abbott
20:43 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
I want some guidance about which fonts to use in the description of a CoCoA function when refering to the arguments. ... John Abbott
20:38 Bug #394: problem with ContentFreeFactor (and missing manual entry)
Can I have some details??? John Abbott
20:35 Bug #458: CoCoA5 GUI; failed build "wrong architecture"
I don't believe this issue is so important, but it is worth recording (maybe some @Makefile@ magician will spot the p... John Abbott
20:31 Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture"
I observed a failed build of the C5 GUI (on Mac OS X 10.5.8). The commands I ran were:... John Abbott
 

Also available in: Atom