CoCoA » CoCoA-5

15 Mar 2013

17:01 Feature #331: Is it possible to have R^3 for NewFreeModule(R,3)?

The ring @R@ could keep a list of freemodules based on itself, and @R^3@ then only needs to check whether it has alre... John Abbott

16:52 Feature #331 (Rejected): Is it possible to have R^3 for NewFreeModule(R,3)?

The answer is yes.
I implemented all the code (in Interpreter.C: *opPower_Ring_BigInt* and *opPowerMap*), but the pr... Anna Maria Bigatti

15:14 Feature #331 (Rejected): Is it possible to have R^3 for NewFreeModule(R,3)?

Anna Maria Bigatti

13:18 Feature #273: Package for Polynomial Algebra Homomorphisms

Giulia has:
* finished the code for aff alg homs
* written doc
* tried to do an example computation with modules, ... John Abbott

13:11 Feature #330 (Closed): Syzygy for modules: homogeneous module

Syz for modules John Abbott

11 Mar 2013

18:51 Feature #8 (Feedback): source region

Decided the fine details of the semantics; C++ and emacs code are now in agreement.
Modified @Lexer.C@ and the @LineP... John Abbott

08 Mar 2013

13:09 Feature #273: Package for Polynomial Algebra Homomorphisms

Giulia has dealt with most points from last time.
* fix the code so that it works again (after JAA "improved" it)
... John Abbott

12:01 Feature #8: source region

I played a bit with the emacs SourceRegion and I think that it might be useful to "echo" the region that has been sen... Anna Maria Bigatti

07 Mar 2013

23:31 Feature #8: source region

I now have the code for producing... Anna Maria Bigatti

18:41 Feature #8: source region

It compiles and links! The keyword is *@SourceRegion@*.
There are sure to be some "off by 1" errors (_e.g._ do line... John Abbott

16:55 Feature #8: source region

Let me rewaken the question of the command name for reading a (contiguous) region inside a file. Last time there was... John Abbott

15:29 Feature #8: source region

Why are we allowing so much flexibility with the "source region" command?
It'll never be called by hand!
I have s... John Abbott

05 Mar 2013

21:49 Feature #8 (In Progress): source region

I mention an alternative possible meaning for "source region". It could specify the file and start and end character... John Abbott

21:39 Feature #328 (Closed): Swap

I think C5 should have a *@swap@* procedure.
Presumably it could simply be... John Abbott

27 Feb 2013

19:10 Feature #8: source region

In a sense it works in emacs, but not as I would like it to work.
I would like it to work as though the region had... John Abbott

18:04 Feature #8: source region

John Abbott wrote:
> Any chance of having this within 2-3 weeks for this year's AlgComp course?
well, for emacs i... Anna Maria Bigatti

17:27 Feature #8: source region

Any chance of having this within 2-3 weeks for this year's AlgComp course?
If I want it in a hurry then I know who... John Abbott

17:31 Support #314: odd and even numbers for snapshots/official versions?

JAA likes the rule:
* odd <--> snapshot
* even <--> stable/official
Should we use a similar rule for CoCoALib?
... John Abbott

12:58 Bug #321 (In Progress): interpreter proposes no near misses for "bin"

The problem is caused by the fact the suggestions offered depend on the arity in the context in which the name appear... John Abbott

26 Feb 2013

18:00 Support #325 (Closed): CoCoAManual: display syntax first

Move the syntax summary to the beginning of each manual entry (in @CoCoAHelp.xml@).
Time for some emacs macro magi... John Abbott

17:59 Support #324 (Closed): Correct font for variable references in description

When the description of a function refers to a formal parameter by name, use a specific font for its name. The name ... John Abbott

17:56 Support #323 (New): system variables

Every system variable should be documented with @system variable@ as a keyword.
Here is a list of some of them: @Cur... John Abbott

17:13 Bug #118 (Feedback): unistd and call to access in Main.C

Can we regard this as closed now?
John Abbott

17:11 Support #322 (In Progress): Installation instructions (on website)

The installation instructions on the website for Linux users is insufficient; the instrs for C4 were better! John Abbott

25 Feb 2013

22:13 Bug #321 (Closed): interpreter proposes no near misses for "bin"

In C5, if you slightly mistype a name, the interpreter offers a choice of similar names.
But if I type *@bin()@* t... John Abbott

22 Feb 2013

16:26 Feature #317: BuiltInFunctions: evalArgAsLong

There are lots of lines like (in *BuiltinFunctions.C* and *Interpreter.C*)... Anna Maria Bigatti

13:42 Feature #200: add modules and module operations

added *GenRepr* in packages/hilop Anna Maria Bigatti

21 Feb 2013

19:34 Bug #34 (In Progress): CoCoAManual: obsolete entries in the manual

fixed some uppercase/lowercase entries for *make texdoc*
Anna Maria Bigatti

17:20 Feature #200: add modules and module operations

added *GensAsRows*, *GensAsCols* (and manual)
added *NewFreeModuleForSyz* + consequences Anna Maria Bigatti

20 Feb 2013

18:04 Feature #200: add modules and module operations

Added *SyzOfGens* for an *ideal* both in cocoalib and cocoa-5
(and manual in cocoa-5).
This is still quite rough as... Anna Maria Bigatti

17:44 Feature #318: implement "indent" for modules

*implemented*: the decision is to use the matrix representation by rows (as highlighted by the name)... Anna Maria Bigatti

17:12 Feature #318 (Closed): implement "indent" for modules

implement *indent* for *module* as it is done for *ideal*
Anna Maria Bigatti

16:55 Feature #317 (Closed): BuiltInFunctions: evalArgAsLong

Similar to *evalArgAsListOf* or *VectorLong* (or *VectorLongDecr1*) it would be nice to have
a way of converting a ... Anna Maria Bigatti

18 Feb 2013

18:44 Design #292: Rename IndetsCalled to indets

Added doc.
John Abbott

18:30 Bug #102 (Closed): Packages: should exported functions be automatically "Protect"ed?

After implementing the change about a month ago, no problems have cropped up.
Final decision: package exported nam... John Abbott

16:54 Feature #212: NBM: add to CoCoA-5

*Anna:* check with Claudia & Laura whether the proposed interface will suffice for all reasonable variants of SOI/NBM... John Abbott

15 Feb 2013

17:55 Support #314 (Closed): odd and even numbers for snapshots/official versions?

Should we use in cocoa-5 the rule odd and even numbers for snapshots/official versions?
(e.g. 5.0.3 is snapshot ;-)
Anna Maria Bigatti

16:28 Feature #78: Elim ordering and matrix ordering in CoCoA-5

added *HomogElimMat* and *ElimMat*, and documented.
Remark: JAA says that in the "::=" ring contructor we should h... Anna Maria Bigatti

11:31 Feature #309: (Multi)BlockMatrix

If in the future we let users be more flexible with rings, it may be helpful to have a @BlockMat@ function which acce... John Abbott

14 Feb 2013

15:48 Feature #309: (Multi)BlockMatrix

How about renaming the current @BlockMat@ to *@BlockMat2x2@*,
and the new fn @MultiBlockMat@ to just plain *@BlockMa... John Abbott

11:10 Feature #309 (Feedback): (Multi)BlockMatrix

Anna Maria Bigatti