Activity
From 03 Mar 2014 to 01 Apr 2014
01 Apr 2014
- 19:37 CoCoALib Support #234 (Closed): Update/Improve geobucket documentation
- 19:33 CoCoALib Feature #426 (Closed): ConvertTo with optional arg to give more helpful error message
- We are all happy about this. Tested and documented. Closing.
- 19:31 CoCoALib Feature #416 (Resolved): New fn: NumPartitions
- 19:18 CoCoALib Feature #361 (In Progress): implement IsPrime3, IsMaximal3
- should we follow the same (new flashy) design as for *IsIntegralDomain3*?
- 19:11 CoCoALib Feature #248 (Closed): IsDivisible for RingElem with nice interface
- 18:59 CoCoALib Feature #233 (Closed): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
- Please note that *ConvertTo<..>(N)*
also allows passing an error message... - 18:54 CoCoALib Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib
- 18:52 CoCoALib Feature #496 (Closed): ideal: minimalize or minimalized?
- 18:46 CoCoA-5 Feature #105 (Closed): Add I*f and f*I (RINGELEM and IDEAL)
- 18:15 CoCoA-5 Support #503 (Closed): CoCoA website: CoCoA-5.0.9 pages
- Check download page
- 18:14 CoCoA-5 Support #348 (Closed): CoCoA website: CoCoA-5.0.3 pages
- 18:11 CoCoALib Support #467 (In Progress): Keep CoCoALib web page up to date! All pages!
- 17:44 CoCoALib Design #498 (In Progress): IsIntegralDomain, IamIntegralDomain3
- I have removed @IamIntegralDomain@ and modified @IamIntegralDomain3@ so that it expects an arg (@bool QuickMode@). M...
- 15:35 CoCoALib Design #429 (Feedback): factorization: public data fields, or mem fns allowing the fields to be updated.
- John and Anna are not convinced by the proposal to allow the factors to reside in different rings (even if CoCoALib w...
- 13:21 CoCoA-5 Bug #132 (In Progress): BringIn should allow reduction modulo p
- The example given in the C5 online manual *fails* (because it uses reduction mod p).
31 Mar 2014
- 14:22 CoCoA-5 Feature #502: New fn/object type: timer
- I'm a little undecided.
I'm not so convinced by @CpuTimeFrom(T)@; it's longer than @CpuTime()-T@ and does not seem... - 12:01 CoCoA-5 Feature #502 (In Progress): New fn/object type: timer
- you are right, it's annoying having to write *DecimalStr(...)*.
This is my trivial suggestion... - 11:26 CoCoA-5 Bug #132: BringIn should allow reduction modulo p
- Even worse: @BringIn@ fails to construct the hom from @ZZ/(11)[x,y,z]@ to @ZZ/(11)[x,y,z],Lex@
This is embarassing!
...
30 Mar 2014
- 22:03 CoCoA-5 Feature #502: New fn/object type: timer
- What about a @StrTimer@ which automatically returns a string?
That would avoid the tedious need to call @DecimalStr@... - 22:01 CoCoA-5 Feature #502: New fn/object type: timer
- Once strange aspect of a @TIMER@ object is that @T=T@ may sometimes return @false@
I wonder whether the value prod... - 21:58 CoCoA-5 Feature #502 (Closed): New fn/object type: timer
- Here's an idea. Create a new fn called *@timer@* (or *@NewTimer@) which creates a @TIMER@ object.
When you evaluate...
28 Mar 2014
- 16:23 CoCoA-5 Support #495 (In Progress): CoCoAManual: add page about creating lists
- Added a new page (in commands) called *@list constructors@*.
Reduced existing page for @in@ to a reference to @list ... - 16:17 CoCoA-5 Support #456: CoCoAManual: New structure for manual?
- The "Intro to XYZ" idea is good, but I do not much like the title.
Maybe "XYZ in CoCoA", or "Using XYZ", or "Creatin... - 08:43 CoCoA-5 Support #456 (In Progress): CoCoAManual: New structure for manual?
- It seems that pages like *Introduction to ...* could indeed be nice.
The current one are usually far too long: simpl... - 15:14 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- JAA thinks that this could be hard to do portably.
A potentially simpler solution would be to have some way of mar... - 09:24 CoCoA-5 Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?
- If we input ...
- 14:01 CoCoA-5 Feature #501 (New): Toric: resurrect function TestSet (and find betterr name for it?)
- In CoCoA-4 the function *TestSet* was a fast way to compute the GBasis of a Toric ideal wrt to some ordering.
Invest... - 10:18 CoCoA-5 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- Note that it is common for personal "init" files to have name which begin with dot so that they remain "invisible" wh...
- 09:45 CoCoALib Bug #130: Design problem in ideals
- Anna has recently encountered some other problems with the current design.
This needs thought!
- 09:44 CoCoA-5 Feature #105 (Feedback): Add I*f and f*I (RINGELEM and IDEAL)
- JAA has made a simplistic impl.
Documentation?
- 09:08 CoCoA-5 Feature #200: add modules and module operations
- Added *MinGens*
- 08:47 CoCoA-5 Support #488: CoCoAManual: Help page for porting old C4 code to C5
- I have updated the *CoCoA translation table* for functions in CoCoA-4, CoCoA-5, CoCoALib
http://cocoa.dima.unige.it/... - 08:42 CoCoA-5 Support #494 (In Progress): Emacs UI: installation on Mac OS 10.8.5
- Alessandro Cartatone found this page (that means: there's nothing we can do except telling the user how to do)
http:... - 08:38 CoCoA-5 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
- John Abbott wrote:
> I think that @N@, @X@ and @L@ should be in a different font from the main text.
we should us... - 08:27 CoCoA-5 Support #325 (Feedback): CoCoAManual: display syntax first
- Even though *CoCoAHelp.xml* isn't all written like that (too dangerous to do by emacs-magic), the end results (online...
- 08:18 CoCoALib Feature #366 (Resolved): function (CoCoALib) for minimal generators (like old Minimalize)
- Done.
The core function is called *myMinimalize* and is clever (i.e. saves all the precomputed data)
Called simil... - 01:08 CoCoALib Design #498: IsIntegralDomain, IamIntegralDomain3
- Current design has @IamIntegralDomain@ and @IamIntegralDomain3@ pure virtual in @RingBase@, so every concrete ring ha...
27 Mar 2014
- 00:58 CoCoALib Design #498 (Closed): IsIntegralDomain, IamIntegralDomain3
- JAA has just added an impl of @IsIntegralDomain3@
The design is probably wrong. Replace it with a better one! - 18:56 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- Yes, that works. Thanks a lot! We can work with that solution.
How do you think about allowing ZZ[x] factors toget... - 18:28 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I have fixed the problem with factorizations over ZZ[x].
[I have implemented @IsIntegralDomain3@]
Checked in to C... - 16:37 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The const ref aliases are a good suggestion. @myFactors(i)@ was also not the optimal syntax.
For the size, to me it ... - 15:06 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I have added a note to the documentation about possibly having a function for changing the multiplicity of a factor.
... - 15:00 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The main reason I do not offer a len/size fn is that its semantics are unclear to me.
*(A)* Should it simply be the ... - 14:54 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The reason @myFactor@ and @myMultiplicity@ are commented out is because they offered little gain in readability; it s...
- 11:30 CoCoALib Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I updated nmzIntegrate to the changes, while looking at the header to figure out the new interface of the factorizati...
- 18:33 CoCoA-5 Bug #171: Negate LIST, MAT,...
- If @L@ is a list C5 cannot compute @-L@ but it can compute @(-1)*L@ and also @L1-L2@ if @L1@ and @L2@ are lists. Thi...
- 18:16 CoCoALib Feature #496: ideal: minimalize or minimalized?
- done and tested, documented, ported to CoCoA-5
Works only for homogeneous input.
Cleverly stores GBasis and MinGe... - 08:22 CoCoALib Feature #496 (In Progress): ideal: minimalize or minimalized?
- Decided how and implemented *myMinimalized*.
The current design for ideals actually makes it simple: operations are ... - 08:09 CoCoALib Feature #496 (Closed): ideal: minimalize or minimalized?
- In CoCoA-4 there were two functions:
- minimalized(I): returning an ideal J=I generated by a minimal set of generato... - 15:30 CoCoA-5 Feature #273 (Resolved): Package for Polynomial Algebra Homomorphisms
- *ADD* this code as a CoCoA-5 package (or reimpl in CoCoALib).
- 15:28 CoCoALib Support #497 (New): Clang: automatic bug finding
- On the Clang web-site they offer a static analysis tool
(see @http://clang-analyzer.llvm.org/@)
It would be good(...
26 Mar 2014
- 18:05 CoCoALib Feature #17 (Feedback): implement "binomial" (coefficient) for RingElem
- I've made a simple impl (obviously correct, might not be fast).
In answer to my qn in post 2, we've decided to kee... - 17:09 CoCoA-5 Feature #365 (Feedback): add function to compute minimal generators (like Minimalize)
- Was tougher than I expected: ironically the core code (GBasis) was all done, but updating the module/submodule/FGModu...
- 16:14 CoCoA-5 Design #364 (Feedback): Incr command/function
- Written documentation.
The only negative aspect is that the user must write @ref@ before the arg;
if we define co...
25 Mar 2014
- 21:37 CoCoA-5 Support #495 (Closed): CoCoAManual: add page about creating lists
- Add an easily accessible manual page about creating lists, and perhaps simple operations on them (indexing, concatena...
- 21:34 CoCoA-5 Support #488 (In Progress): CoCoAManual: Help page for porting old C4 code to C5
- I have added a manual page entitled *@updating CoCoA-4 code@*; and another entitled *@CoCoA-4 mode@* (about @***...**...
- 18:10 CoCoALib Feature #356 (Resolved): IsZeroDivisor
- 18:03 CoCoA-5 Design #364 (Resolved): Incr command/function
- Placing defns of @incr@ and @decr@ in @NotBuiltin@.
JAA will add doc. - 17:56 CoCoA-5 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
- Delayed several issues to 5.1.0.
- 16:19 CoCoA-5 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
- Changed title etc to refer to 5.0.9 instead of 5.0.4.
Hoping to complete the release by the end of this week!
- 17:42 CoCoA-5 Support #296 (In Progress): Documentation for Parser/Interpreter
- 17:40 CoCoA-5 Feature #216 (In Progress): Janet Bases: port function into CoCoA-5
- 17:36 CoCoA-5 Bug #446 (Closed): intersection fails with zero ideal
- 17:35 CoCoA-5 Bug #397 (In Progress): EMACS UI: fix windows splitting
- 17:21 CoCoA-5 Feature #414: New fn to increase max recursion depth
- This is going to be a pain to sort out -- delaying until 5.1.0.
Probably command line option is simplest "quick fi... - 15:11 CoCoA-5 Feature #328 (Closed): Swap
- No trouble after 1 month in feedback.
Minor revision to the documentation.
Closing.
- 14:54 CoCoA-5 Bug #443 (Closed): lambda keyword
- I have left the name "lambda" in the code for lexer/parser/interpreter since anyone playing with that code should kno...
- 14:19 CoCoA-5 Support #494: Emacs UI: installation on Mac OS 10.8.5
- Our solution should handle several cases:
*(a)* new CoCoA user with new emacs installation (_i.e._ no @.emacs@ file)
... - 12:51 CoCoA-5 Support #494 (Closed): Emacs UI: installation on Mac OS 10.8.5
- The instructions on the web site do not work because the OS refuses to run a script of unknown provenance.
How to ... - 12:36 CoCoA-5 Feature #365: add function to compute minimal generators (like Minimalize)
- Still missing: function on submodules!
If we have that working than we can have a silly/slow but working version of ...
24 Mar 2014
- 13:08 CoCoALib Design #411: design of factorization template class
- I've checked in everything.
For me all tests pass (even with max debugging). Also OK on my linux box (a netbook, >4... - 12:52 CoCoALib Design #411 (Resolved): design of factorization template class
- I have revised the interface of @factorization@.
The 3 main fields are now private, so I have implemented (read-on... - 11:45 CoCoA-5 Design #493 (Closed): Cleanup Hilbert package hp.cpkg5
- Check all functions and update the manual.
Choose the "official name" for functions. - 10:32 CoCoA-5 Design #481: Multiline comments -- obsolescent?
- John Abbott wrote:
> Note that I have also added a warning when @/*@ is found inside a @/*...*/@; this should avoid ... - 09:37 CoCoA-5 Design #481: Multiline comments -- obsolescent?
- John Abbott wrote:
> I have changed the warning level to @WS_PEDANTIC@, so most users won't see the warnings.
I thin... - 10:23 CoCoA-5 Feature #492: New C5 fn for adjusting the warning level
- @SetWarningLevel@ sounds good and clear!
- 09:50 CoCoA-5 Feature #492 (New): New C5 fn for adjusting the warning level
- Since C5 has several "warning levels", let the (advanced) user change the level (_e.g._ in the @init.cocoa5@ file).
...
23 Mar 2014
- 13:22 CoCoA-5 Bug #468: Emacs UI: indentation is wrong after ?keyword
- I felt better before looking at this code...
Giving up!
- 12:37 CoCoA-5 Bug #468: Emacs UI: indentation is wrong after ?keyword
- I guess the relevant fn is @cocoa5-calculate-indent@ on line @cocoa5.el:716@
*AARRGHHH* it's almost 100 lines long !?! - 12:33 CoCoA-5 Bug #469 (Resolved): Emacs UI: keywords in multiline comments
- The simplest "solution" would be to document that the emacs UI does not handle multiline comments intelligently.
A... - 12:28 CoCoA-5 Bug #471 (Feedback): Nested multiline comments
- I think the current state is a fair compromise; so changing status to @feedback@
- 12:01 CoCoA-5 Bug #462 (In Progress): Emacs UI: semicolon problems
- I have modified the emacs fn @cocoa5-electric-semi-or-dot@.
It now calls @expand-abbrev@ only when point is in code....
22 Mar 2014
- 22:31 CoCoA-5 Design #491: Cleaning: Cruft in CoCoA-5 packages
- The packages that "upset" me the most are @coclib@ and @primary@ (or @radical@?)
- 22:27 CoCoA-5 Design #491 (In Progress): Cleaning: Cruft in CoCoA-5 packages
- There is a *HUGE* amount of cruft in the C5 packages; more than enough to make maintenance much harder than necessary...
- 22:22 CoCoA-5 Support #208: describe $package
- Anna could you check that this now does more or less what you want; if so, change state to feedback?
- 10:57 CoCoA-5 Design #481 (Resolved): Multiline comments -- obsolescent?
- I think this issue is resolved now -- any objections?
*The solution is (c)*: multiline @/*...*/@ allowed but issues ... - 10:21 CoCoA-5 Design #481: Multiline comments -- obsolescent?
- I have changed the warning level to @WS_PEDANTIC@, so most users won't see the warnings.
[now I have to change my se... - 10:48 CoCoA-5 Bug #471: Nested multiline comments
- Well, I didn't wait for anyone else's opinion. I've implemented the warning....
- 10:26 CoCoA-5 Bug #471: Nested multiline comments
- I suggest adding a warning if @/*@ is found inside a @/*...*/@ comment. This would alert users to a (probable?) pres...
21 Mar 2014
- 15:16 CoCoA-5 Design #490: Duplicate fns: valuation and FactorMultiplicity
- @FactorMultiplicity@ is defined in @GCDFreebasis.cpkg5@
- 14:35 CoCoA-5 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... - 15:13 CoCoALib Feature #209: ReadExpr: input polynomials in CoCoALib
- *Warning!!*
Syntax for ReadExpr has changed: now the ring is the first argument (looking like RingElem(P, "x")) - 14:35 CoCoALib Feature #203 (Closed): Function to get the Hilbert Polynomial ring from GlobalManager
- working fine for 5 months. closing
- 14:30 CoCoA-5 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:18 CoCoALib Design #411 (In Progress): design of factorization template class
- Bite the bullet!
I know what needs to be done; I just have to find the courage to do it (I keep hearing "if it ain't... - 14:15 CoCoA-5 Bug #446: intersection fails with zero ideal
- added test in cocoalib. closing.
- 12:56 CoCoA-5 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 CoCoA-5 Bug #446: intersection fails with zero ideal
- Do the @myIntersect@ functions have assertions that their args are valid?
- 09:53 CoCoA-5 Bug #446 (Feedback): intersection fails with zero ideal
- done and added to test-ideal1.
Added the zero ideal case to... - 14:14 CoCoALib Feature #457 (Closed): Zero to the power zero, 0^0
- Tidying up; feedback period revealed no problems (in 15 days). Closing.
- 14:09 CoCoA-5 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 CoCoA-5 Support #489 (Closed): CoCoAManual: Doc for strings
- The CoCoA-5 documentation for strings needs to be tidied up, and properly integrated.
- 12:10 CoCoALib Slug #479 (Feedback): make check in examples/ directory is far too slow
- Thanks Christof!
I have made the change you suggested, and now it is much faster (5.5s).
- 11:59 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Support #398: Resurrect Relnotes()
- resurrected. now it needs to be filled ;-)
- 11:35 CoCoA-5 Feature #372 (Closed): add IsFactorClosed
- no more problems have arisen. closing.
- 11:31 CoCoA-5 Feature #306 (Closed): Function for accessing the pointed value
- No problems have arisen. Closing.
- 11:30 CoCoA-5 Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct
- No problems have arisen. Closing.
- 11:18 CoCoALib Design #455: Which sets of generators in an ideal?
- I think we should have @myMinGens@ in every ideal: a "minimal set of generators" is quite a general concept.
We shou... - 10:46 CoCoALib Feature #366: function (CoCoALib) for minimal generators (like old Minimalize)
- What should *minimalize(I)* do?
The cocoa-4 function would create a new ideal (submodule) generated by *MinGens(I)*.... - 10:39 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Bug #444: Not keyword/operator
- (a problem has arisen ;-)
added Not, NOT in *BackwardCompatible* - 10:27 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Design #449 (Closed): Emacs UI: names of emacs fns
- trivial issue, all done. Closing.
- 09:37 CoCoA-5 Support #348 (Feedback): CoCoA website: CoCoA-5.0.3 pages
- 09:36 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Bug #486 (New): Warning about variable hiding another -- too zealous
- The warning are sometimes is needlessly alarmist:...
- 17:24 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Bug #118 (Closed): unistd and call to access in Main.C
- No problems for over a year --> closing!
- 11:13 CoCoA-5 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:34 CoCoALib Feature #482: Unique copies of rings -- smart ctor
- My guess is that it will be impossible to deal with under multithreading, and, if implemented, we must guarantee the ...
- 09:18 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
- Sorry, I thought I was already in CoCoA-5
- 21:50 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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:28 CoCoALib Feature #482: Unique copies of rings -- smart ctor
- If a ring pseudo-ctor is to be smart (and return an existing ring if possible) then how smart should it be?
Consider... - 21:22 CoCoALib Feature #482: Unique copies of rings -- smart ctor
- Having unique copies of rings implies a centralized global registry, and this might adversely affect multithreaded ex...
- 21:12 CoCoALib Feature #482 (In Progress): Unique copies of rings -- smart ctor
- After some experience using CoCoALib, it has been useful that @ZZ@ and @QQ@ are unique (_i.e._ repeated calls to the ...
- 21:24 CoCoALib Slug #479: make check in examples/ directory is far too slow
- Right now I have only very limited Internet access, so I'm unsure what the current Version of ex-Normaliz does. We wr...
- 21:07 CoCoA-5 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 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- Having just recently discovered that commenting out the printed matrix with ...
- 21:00 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Design #481 (Closed): Multiline comments -- obsolescent?
- Multiline comments are convenient, inconvenient and potentially hazardous.
Convenient for commenting out blocks of... - 17:08 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Feature #346: Describe should indicate package name
- Packages export their varables in the function:...
- 12:03 CoCoA-5 Feature #346: Describe should indicate package name
- The relevant source code appears to be in @Interpreter.C:229@:...
- 15:28 CoCoA-5 Bug #444 (Closed): Not keyword/operator
- No problems have arisen in 2 weeks, so I'm closing this issue.
- 15:10 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Support #208: describe $package
- The relevant source code is in @Interpereter.C:233@...
- 10:34 CoCoA-5 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
- 21:00 CoCoALib Slug #479: make check in examples/ directory is far too slow
- The worst culprit is @ex-Normaliz2@ which takes about 90s on my machine -- that's more than half the total time!
T... - 20:35 CoCoALib Slug #479 (Closed): make check in examples/ directory is far too slow
- On my machine @make check@ takes about 160s (not counting compilation!).
That is too slow (especially on my poor lit... - 11:34 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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...
14 Mar 2014
- 20:46 CoCoA-5 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... - 20:44 CoCoA-5 Design #477 (New): Eliminate keyword Alias?
- I think the concept of @Alias@ is no longer needed (or only very rarely).
Can we eliminate it?
- 20:42 CoCoA-5 Design #476 (In Progress): Review utility of package IO
- Package @io@ does not do much currently; can we eliminate it?
- 20:18 CoCoA-5 Design #475 (Closed): Eliminate package approx
- Implement in CoCoALib the fns in package @approx@; then eliminate the package.
Some fns are already in CoCoALib. - 20:16 CoCoA-5 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.
- 12:24 CoCoA-5 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...
13 Mar 2014
- 18:06 CoCoA-5 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 ... - 14:49 CoCoA-5 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...
- 16:52 CoCoA-5 Design #473: Multiline string literals - useful or obsolescent?
- My suggestion about juxtaposition of string literals is *not backward compatible* because juxtaposition is already de...
- 15:33 CoCoA-5 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...
- 15:29 CoCoA-5 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...
- 15:20 CoCoA-5 Design #472: Record keyword
- Also consider @Record@ in @cocoa5-mode-abbrev-table@.
Similar questions about most CoCoA-5 keywords! - 15:07 CoCoA-5 Design #472 (Closed): Record keyword
- What capitalization do we want for the keyword @Record@?
Currently CoCoA-5 uses @Record@, but the manual prefers @... - 12:35 CoCoA-5 Support #439: CoCoA website: download pages and installing instructions
- I made an "older versions" page.
Now the download pages show only the latest version.
12 Mar 2014
- 23:39 CoCoA-5 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@ ... - 23:01 CoCoA-5 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... - 22:52 CoCoA-5 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 ... - 14:13 CoCoA-5 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... - 13:55 CoCoA-5 Feature #466 (In Progress): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
- You mean something like...
- 12:39 CoCoA-5 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... - 20:40 CoCoA-5 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... - 18:09 CoCoA-5 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...
- 17:44 CoCoA-5 Bug #471: Nested multiline comments
- Places we should look at for changing the parser so that it warns about (or complains about) multiline comments:
@... - 17:20 CoCoA-5 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...
- 16:26 CoCoA-5 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...
- 16:06 CoCoA-5 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 ... - 16:01 CoCoA-5 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...
- 15:42 CoCoA-5 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...
- 15:18 CoCoA-5 Bug #471 (Closed): Nested multiline comments
- C5 does not support nested multiline comments.
The following input produces @7@... - 13:54 CoCoA-5 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*... - 13:41 CoCoA-5 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... - 13:31 CoCoA-5 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...
- 13:27 CoCoA-5 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...
- 13:14 CoCoA-5 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:
<... - 13:07 CoCoA-5 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... - 12:59 CoCoA-5 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...
- 12:52 CoCoA-5 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...
11 Mar 2014
- 00:22 CoCoALib Support #467: Keep CoCoALib web page up to date! All pages!
- Far too easy to forget updating EVERY SINGLE PAGE.
I realised that CoCoALib page was still talking about using CoCoA... - 00:19 CoCoALib Support #467 (Closed): Keep CoCoALib web page up to date! All pages!
- Check every so often there is nothing obsolete.
Every single page: sometimes obsolete infos hide in some description... - 18:25 CoCoA-5 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!
- 17:49 CoCoA-5 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...
- 17:47 CoCoA-5 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 ...
- 17:43 CoCoA-5 Slug #465: Emacs UI; remove cruft
- Also remove @DegLex@, @DegRevLex@, @Lex@, @Xel@?
Also remove @Vector@, @ToPos@, @PosTo@? - 17:41 CoCoA-5 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... - 17:21 CoCoA-5 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...
- 14:56 CoCoA-5 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 ... - 13:02 CoCoA-5 Feature #464: Emacs UI: split horizontally instead of vertically?
- I found the following nice Emacs function...
- 12:58 CoCoA-5 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... - 12:14 CoCoA-5 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._ ... - 11:59 CoCoA-5 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:...
- 11:51 CoCoA-5 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 ...
10 Mar 2014
- 18:25 CoCoA-5 Support #463 (Closed): Make man page for "It" easier to read
- The online manual page for *@It@* is hard to read....
09 Mar 2014
- 21:19 CoCoA-5 Bug #462: Emacs UI: semicolon problems
- I think the problem is the call on line @cocoa5.el:489@:...
- 21:16 CoCoA-5 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... - 10:25 CoCoA-5 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 ... - 10:21 CoCoA-5 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.
- 10:17 CoCoA-5 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...
- 10:04 CoCoA-5 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...
07 Mar 2014
- 18:13 CoCoALib Support #195 (Closed): OrdvArith documentation needs rewriting
- Closing in preparation for new version of CoCoALib.
- 18:05 CoCoALib Feature #407 (Closed): RingElem ctor from mpz_t (from Bruns)
- The code has remained unchanged for 4 months, and there have been no problems.
Everyone is happy with the design d... - 15:26 CoCoALib Feature #459 (New): LinearSimplify: port to CoCoALib
- Rewrite @LinearSimplify@ in C++ so it is available in CoCoALib.
- 15:25 CoCoA-5 Feature #371 (Closed): Resurrect LinearSimplify
- No problems reported in the last 9 months, so closing.
- 13:35 CoCoA-5 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
- The regexp...
- 13:01 CoCoA-5 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....
- 12:48 CoCoA-5 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:...
- 12:03 CoCoA-5 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...
- 11:36 CoCoA-5 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... - 12:49 CoCoA-5 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...
06 Mar 2014
- 20:53 CoCoA-5 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...
- 20:43 CoCoA-5 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. ...
- 20:38 CoCoA-5 Bug #394: problem with ContentFreeFactor (and missing manual entry)
- Can I have some details???
- 20:35 CoCoA-5 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...
- 20:31 CoCoA-5 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:...
- 17:15 CoCoALib Feature #457 (Feedback): Zero to the power zero, 0^0
- Implemented changes to @IntOperations.C@ and @ring.C@ (the old code was buggy).
Added new tests. Modified documen... - 15:32 CoCoALib Feature #457 (In Progress): Zero to the power zero, 0^0
- In an algebraic/combinatorial context it makes sense to define the value of the formula *@0^0@* to be *@1@* even thou...
- 15:14 CoCoALib Feature #457 (Closed): Zero to the power zero, 0^0
- After getting "burned" last night when trying to compute *@0^0@* (as an entry in a Vandermonde matrix), I have decide...
05 Mar 2014
- 18:00 CoCoA-5 Support #456 (Closed): CoCoAManual: New structure for manual?
- CoCoA-4 manual had a part with the list of commands and a part with "topics" (the latter has been obsolete for ages!)...
- 17:00 CoCoA-5 Bug #444 (Feedback): Not keyword/operator
- JAA has revised the manual page for the logical operators.
- 16:50 CoCoA-5 Feature #451: Port function NewSymbol/NewSymbols to CoCoA-5
- One possible solution is to supply an "impossible name" for those indets we want to be "anonymous".
An impossible ... - 16:12 CoCoA-5 Feature #453 (In Progress): Automatic conversion from INT (or RAT) to RINGELEM
- Added code to handle the special cases of @GenRepr(INT,IDEAL)@ and @GenRepr(RAT,IDEAL)@
Which other fns need simil... - 15:29 CoCoA-5 Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
- 15:26 CoCoA-5 Feature #372: add IsFactorClosed
- After talking to Anna about my doubt, we have decided that an empty list in input should produce an error (as it seem...
- 12:21 CoCoA-5 Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable
- Neither Anna nor I recall how to reproduce this bug; maybe we have fixed it unwittingly?
Anyway, there is a work-aro...
04 Mar 2014
- 15:22 CoCoA-5 Support #370: OnlineHelp: Problem with "><" in syntax of CartesianProduct
- fixed.
I just added CleanupLine in ... - 15:16 CoCoA-5 Support #369: write documentation for TgCone and other function from the "primary" package
- Mostly done. Even cleaned up the code.
There is one function left called "E".
what to do with that? is that useful... - 09:58 CoCoA-5 Feature #372: add IsFactorClosed
- Now I'm unsure whether @IsFactorClosed([])@ should return @true@ or give error.
This morning I'm more inclined to fa...
03 Mar 2014
- 22:14 CoCoA-5 Feature #372: add IsFactorClosed
- Hey! Have you been talking to Elisa Businelli again?
Fixed the case of an empty list -- it gives *true* (same as th... - 19:21 CoCoA-5 Feature #372: add IsFactorClosed
- In the manual we can have...
- 19:15 CoCoA-5 Feature #306 (Feedback): Function for accessing the pointed value
- I think it looks pretty nice now. I even wrote a bit of documentation.
Feedback.
- 19:04 CoCoALib Design #455: Which sets of generators in an ideal?
- from issue Bug #446: intersection fails with zero ideal
John Abbott wrote
> What I tried to suggest yesterday, is... - 18:57 CoCoALib Design #455 (New): Which sets of generators in an ideal?
- now we have
@myGens@
@myTidyGens@
but in SparsePolyRing we would also need
@myGBasis@ (currently stored in @myTi... - 19:00 CoCoA-5 Design #449 (Feedback): Emacs UI: names of emacs fns
- I renamed all functions so they start with @cocoa5-@
I'll leave this in feedback just to make sure no mismatch comes... - 17:59 CoCoA-5 Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
- Seems OK. I'm closing this (unless future guinea-pigs resurrects it ;-)
- 17:56 CoCoA-5 Bug #418 (Closed): What does interreduce do?
- 17:03 CoCoA-5 Feature #454 (New): interpolate
- I'd like to use the @interpolate@ fn in one of mys first lessons; can it be implememnted in time? May be related to ...
- 17:00 CoCoA-5 Feature #453 (In Progress): Automatic conversion from INT (or RAT) to RINGELEM
- C5 does not allow computing @GenRepr(1, I)@ because it wants a @RINGELEM@ where I supplied the value @1@ which has ty...
Also available in: Atom