Activity
From 25 Mar 2014 to 23 Apr 2014
23 Apr 2014
-
17:22 Support #542 (In Progress): CoCoAManual: improve part on data-types
- More updates done in "commands" *syntax*.
Now I think that each *chapter* should be essentially empty and just give s... -
- Now in CoCoAHelp.xml we should tag the types as *type* or *rtn* in the syntax like this:...
-
- The old manual had a part about data-types.
Recover it and improve it. -
16:29 Support #541 (In Progress): Unify releases for Linux 32 and Linux 64
- I have produced a new starting script for CoCoA-5 which autodetermines the directory containing the script (and thus ...
-
- Make it easier for a Linux user to get the right version of CoCoA-5.
One solution would be to unify the 32-bit and 6... -
- Oscar, could you tell me if this works for you (and tell me what @uname -a@ gives?)
http://cocoa.dima.unige.it/downlo...
22 Apr 2014
-
- Here is the very simple test case I used:...
-
- I have just tried the @NotWorks@ example from comment-5; it works correctly with the current Emacs UI code. Changing...
-
- Nobody thought anything for three days :-(
Anyway, I have revised the doc so it now has the structure proposed in ...
19 Apr 2014
-
- I'm undecided how best to organize the manual page(s) for strings.
Currently they're in a "funny" section of the manu... -
- I've sent the files -- they ought to be translated into english...
17 Apr 2014
-
- Works OK up to stack size of about 5400; at 5500 I get a SEGV. Why????
Also get SEGV without @--stacksize@ option; ... -
- I've implemented a "quick fix":
* ctor @RuntimeEnvironment@ now has extra arg for specifying @MaxStackSize@
* ctor fo... -
- *Anna* will check the manual!
-
- *The solution chosen is (c)*
-
-
- Want to discuss precise specifications of the fn.
-
- We will discuss the design/names @IntersectList@ @intersection@ etc??
16 Apr 2014
-
- *Do the "quick fix"!* Not satisfactory, but a proper soln is going to be costly :-(
-
- JAA must give Anna Giulia's code!
-
- JAA suggests:
* one page about string literals, concat and indexing
* one page about "escape sequences" inside string... -
- I tried @cocoa-5.0.9-text-mac10.6.tgz@ (28 Mar 2014) on my machine; it did not start...
-
14:11 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... -
- Which example do you mean? For me all the newer ones (from update 10 on) are working. The older should work too if yo...
-
- The example in the description does not work.
Postponing this issue to Seoul version (with full manual to be publish... -
- Implementation is in @ToString.H/C@
@DecimalStr@ now defaults to 3 digits after decimal point.
-
- I tested the new *DecimalStr*: I'd prefer 3 digits after "." by default (instead of 4).
I find it more natural to gro... -
- [I've already written this in #419]
I tested the new *DecimalStr*: I'd prefer 3 digits after "." by default (instead... -
- It seems to work OK for me too.
I do vaguely recall discovering what the problem was and then fixing it (but evident... -
- Feedback
Works fine for me, no problems in strings or comments. Has this been fixed already? -
-
- Final testing (thanks Oscar Fernández Ramos!)
There are problems when loading CUA-mode (for copying and pasting wi...
15 Apr 2014
-
-
- It works. Closing.
-
- Now it should recognize all properly written keywords (*PriNT* is accepted but not properly written)
Now there is an ...
14 Apr 2014
-
- > JAA suggests putting it in *MatrixOperations*
(after talking about it on the phone) moved all *Is..* functions f... -
- John Abbott wrote:
> JAA suggests putting it in *@MatrixOperations@*
OK. Should we also move *IsZeroRow/Col*? -
- JAA suggests putting it in *@MatrixOperations@*
-
- Added to cocoa-5
I had to add *evalArgAsT1orT2orT3orT4orT5orT6orT7* in *Interpreter.H*.
-
- Implemented as described above.
Seems to work (added test @IsZero(ZeroMat(R, 12345,67890))@ and is fast).
But where... -
- JAA suggests as a general rule: try to avoid designing tests that produce much output (unless the test specifically c...
-
- I noticed that CoCoAInterpreter for 10.5 works on my 10.6.
... so John fixed it?
What about viceversa?
John: could... -
-
- Should this function work only for list of RINGELEM?
If so we can directly use *HasUniqueOwner*, otherwise is is ver... -
- I think that now the manual is more diligently updated than the *Translation table*.
Close this issue?
-
- Now the make target is done and works well. Moreover generating the TeX documentation is actually useful for checkin...
13 Apr 2014
-
- I tried implementing it in a clever way but got stuck.
(clever = ZeroImpl gives true, IdentityImpl gives false, ...)...
11 Apr 2014
-
-
- @DecimalStr@ etc now implemented in CoCoALib.
I note that the package contains two non exported fns: @Atan@ and @Pi@... -
-
- Most operations have been implemented by now.
Remaining functions will be under their own "issue".
-
-
-
- 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
-
- now it prints the ring itself (when ring is uniquely defined)...
-
- (Naive resolution implemented) now shifts are tested and working fine. Closing.
-
- Implemented @FloatApprox@ (binary version) in CoCoALib. Documented.
How to make the function available to CoCoA-5... -
- John Abbott wrote:
> I suggest replacing clas @MantExp@ by @MantExp10@ (or @Mant10Exp@);
> and then create new class ... -
- Seems to work, needs proper tests.
-
-
-
- (design, testing, documenting)
Public functions are *PrintRes*, *PrintBettiMatrix* and *PrintBettiDiagram*.
Documen...
09 Apr 2014
-
- I have added an entry for @TimeFrom@ to the C5 manual.
-
- I suggest replacing class @MantExp@ by @MantExp10@ (or @Mant10Exp@);
and then create new class @MantExp2@ (or @Mant2E... -
- It seems to be mostly impl'ed (in file @decimal.C@); not documented though!
There is disagreement about what @Decima... -
- All the fns which were exported by @float.cpkg5@ are now in CoCoALib.
Remove @float.cpkg5@?
-
- Create a new package called @OBSOLESCENT.cpkg5@ into which we put obsolescent functions (with an "expiration date").
-
- I think the doc for the parser/interpreter should be separate from CoCoALib doc; the doc should be somewhere in the s...
-
- Renamed function @list@ to @GetRows@ (compatible with @GetRow@).
Renamed manual page. Added manual page for @GetRow... -
- The problem arises in my more recent Emacs (24.3) but not in my older installation (23.1).
In any case, there coul... -
- A package protected variable should "know" which package protected it (and this info should be indicated along with a...
-
- I have implemented the suggestion in comment-2.
Changing status to feedback.
-
- Why do we get different error messages?...
-
- I now have implemented *(Print)BettiMatrix* and *(Print)BettiDiagram* in CoCoALanguage.
Where should they go? What s... -
- Implement a naive version of resolution and Betti numbers while hoping for the (very delicate) optimized *resolution*...
-
- I have now split the man page into 3: separate pages for @and@, @or@ and @not@.
08 Apr 2014
-
- added *shifts(FreeModule)*
-
- added *submodule(gens)*
where gens is a non-empty vector of ModuleElem in the same Module. -
- Now that *shifts* is ported to CoCoA-5 more testing can be done.
-
- Now we have *submodule(gens)* issue #200
so this is now more compact... -
- Fixed the code for adding the shifts.
Needs more testing and flexible interfaces.
This is essentially what we can d... -
- the text compilation for cocoa-5 produces *CoCoAInterpreter*, the GUI compilation produces *C5*.
Should we give them... -
- I have a private script for making a fairly automatic text release.
Now I have to work on the GUI -
- Added release for GUI Windows (thanks to Jan Limbeck).
Downloaded and tested on our virtual machine.
-
- I like the idea of making them all "compatible".
Another option would be to have an @enum@ with one value for each... -
- the functions *EvalArgAsT1OrT2OrT3...* modify the last argument (int) giving 1 or 2 or 3...
the functions *EvalArgAs... -
- I modernized *RingOf*: code much much nicer now!
-
- I've done some work on *gcd* and *lcm* (among the worst).
I think it's more readable now.
NB: There is no *PtrCastL... -
- Many functions calling to *WrongTypeException* could be modernized using *EvalArgAsT1OrT2..* making the code shorte, ...
-
-
-
04 Apr 2014
-
- I cleaned up the keywords definitions. (removed some duplicates, still a few left)
I had problems with regexps but I... -
- We are now encouraging lower case keywords, so the emacs interface must be able to recognise them, colour them, inden...
-
- 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...
-
- This should be quick & easy!
-
- Various changes to the manual have greatly improved findability and readability.
-
- No complaints in over a year --> closing.
-
- I believe I have seen it with the 5.0.9 internal release.
The warning appears just once; a subsequent identical @sou... -
- This should be easy (but you never know!).
Moving to after Easter as it is unimportant.
-
- JAA suggests documenting and publishing @TimeFrom@ but not @CpuTimeFrom@.
Really @CpuTimeFrom@ seems superfluous to ... -
- Only the function @FloatApprox@ remains to be done.
-
- This has already been done (long ago?): @AsINT@ and @AsRAT@ can be applied to @RINGELEM@ belonging to finite characte...
-
- Here's a possible defn for @DECLARE_MISSING_EXTLIB@...
-
- Closing because already covered by #395
-
- Closing because already covered by #395
-
- What about ACRONYMs? So far @gcd@ and @lcm@ are lowercase.
What about C5 language keywords?
The next actions:
* ch... -
- The "See also" list is determined by whoever wrote the manual entry (its contents are "handwritten").
The "All oth... -
- JAA does not like the duplication:
* it makes us look inept (why didn't we bother to "clean" one of the lists?)
* i... -
- In some cases there is duplication in the lists of "See also" and "All other matches".
A specific instance is:
<p... -
- A page summarising all operators (aka "shortcuts") has been around for a while; deft use of keywords makes the page f...
-
- Scan file for lines starting with @/**/@ inside a @<example>...</example>@ block. Check that the CoCoA commands work...
-
- Write a script/program which automatically checks all examples in the manual.
-
- "incr" is most used in @list.cpkg5@ for @QuickSort1@ and @QuickSortBy1@.
Anyway, you're right that we can assess h... -
- John Abbott wrote:
> Wouldn't it be better to wait for the outcome of #504 before changing the packages?
John Abb...
03 Apr 2014
-
- Wouldn't it be better to wait for the outcome of #504 before changing the packages?
-
- use *incr* when possible in packages
-
- When I wrote the script for dealing with the defines (old problem with Normaliz) I didn't know it would matter.
Anyw... -
- *make-c5makefile.sh* places "defines" (-D..) in *QMAKE_CXXFLAGS* but they should go in *DEFINES*.
No problems on a M... -
- John Abbott wrote:
> Using @fgrep "+1;" *.cpkg5@ produced about 30 lines which could be modified to use @incr@ or @d... -
- Added the releases (and fixing the scripts producing them)
Some cosmetic changes to the side menu
-
- all binaries have been released for text/emacs interface
(mac 10.6/10.5, linux 32/64, win)
gui only for mac 10.6
... -
02 Apr 2014
-
- minimalize, minimalized have been implemented for ideal using *MinGens*.
Implement it for (sub)modules -
-
- The C5 impl is trivial and works; its correctness etc depend on the CoCoALib impl (which is complete but can be impro...
-
-
-
- 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... -
- John: please send me *CoCoAInterpreter* for 10.5
-
- ...
-
- Christof Soeger wrote:
> If you cannot have -- you should also not have ++, it is just to confusing and inconsistent... -
- From the existing alternatives I also prefer (E) since it is clearly understandable. If you cannot have -- you should...
-
- Would we really want all 4 operators @+=@, @-=@, @*=@ and @/=@?
Probably @/=@ would be used only rarely, but if we... -
- We could also have the @++@ operator but cannot have @--@ because that is used to mark end-of-line comments. In my o...
-
- I like the @+=@ syntax very much, so I would vote for it.
For the incr, why not also @++@? -
- I think @+=@ is a big step over *incr*. After all how often we have *for* loops with step different from one?
I agr... -
- Has this been done somehow?
-
-
- Is that still true? Ask the students ;-)
-
- I think we should have *IsZero* for *MAT*
01 Apr 2014
-
- Using @fgrep "+1;" *.cpkg5@ produced about 30 lines which could be modified to use @incr@ or @decr@.
Let's try in ... -
- Now that I've implemented new fns @incr@ and @decr@, I wonder whether it wouldn't have been more sensible to implemen...
-
-
- Check download page
-
-
- The example given in the C5 online manual *fails* (because it uses reduction mod p).
31 Mar 2014
-
- I'm a little undecided.
I'm not so convinced by @CpuTimeFrom(T)@; it's longer than @CpuTime()-T@ and does not seem... -
- you are right, it's annoying having to write *DecimalStr(...)*.
This is my trivial suggestion... -
- 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
-
- What about a @StrTimer@ which automatically returns a string?
That would avoid the tedious need to call @DecimalStr@... -
- Once strange aspect of a @TIMER@ object is that @T=T@ may sometimes return @false@
I wonder whether the value prod... -
- Here's an idea. Create a new fn called *@timer@* (or *@NewTimer@) which creates a @TIMER@ object.
When you evaluate...
28 Mar 2014
-
- Added a new page (in commands) called *@list constructors@*.
Reduced existing page for @in@ to a reference to @list ... -
- The "Intro to XYZ" idea is good, but I do not much like the title.
Maybe "XYZ in CoCoA", or "Using XYZ", or "Creatin... -
- It seems that pages like *Introduction to ...* could indeed be nice.
The current one are usually far too long: simpl... -
- JAA thinks that this could be hard to do portably.
A potentially simpler solution would be to have some way of mar... -
- If we input ...
-
- In CoCoA-4 the function *TestSet* was a fast way to compute the GBasis of a Toric ideal wrt to some ordering.
Invest... -
- Note that it is common for personal "init" files to have name which begin with dot so that they remain "invisible" wh...
-
- JAA has made a simplistic impl.
Documentation?
-
- Added *MinGens*
-
- I have updated the *CoCoA translation table* for functions in CoCoA-4, CoCoA-5, CoCoALib
http://cocoa.dima.unige.it/... -
- Alessandro Cartatone found this page (that means: there's nothing we can do except telling the user how to do)
http:... -
- John Abbott wrote:
> I think that @N@, @X@ and @L@ should be in a different font from the main text.
we should us... -
- Even though *CoCoAHelp.xml* isn't all written like that (too dangerous to do by emacs-magic), the end results (online...
27 Mar 2014
-
- 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...
-
- *ADD* this code as a CoCoA-5 package (or reimpl in CoCoALib).
26 Mar 2014
-
- Was tougher than I expected: ironically the core code (GBasis) was all done, but updating the module/submodule/FGModu...
-
- Written documentation.
The only negative aspect is that the user must write @ref@ before the arg;
if we define co...
25 Mar 2014
-
- Add an easily accessible manual page about creating lists, and perhaps simple operations on them (indexing, concatena...
-
- I have added a manual page entitled *@updating CoCoA-4 code@*; and another entitled *@CoCoA-4 mode@* (about @***...**...
-
- Placing defns of @incr@ and @decr@ in @NotBuiltin@.
JAA will add doc. -
- Delayed several issues to 5.1.0.
-
- 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!
-
-
-
-
-
- This is going to be a pain to sort out -- delaying until 5.1.0.
Probably command line option is simplest "quick fi... -
- No trouble after 1 month in feedback.
Minor revision to the documentation.
Closing.
-
- I have left the name "lambda" in the code for lexer/parser/interpreter since anyone playing with that code should kno...
-
- Our solution should handle several cases:
*(a)* new CoCoA user with new emacs installation (_i.e._ no @.emacs@ file)
... -
- The instructions on the web site do not work because the OS refuses to run a script of unknown provenance.
How to ... -
- Still missing: function on submodules!
If we have that working than we can have a silly/slow but working version of ...
Also available in: Atom