Activity
From 23 Feb 2013 to 24 Mar 2013
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...
- 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... - 15:14 Feature #331 (Rejected): Is it possible to have R^3 for NewFreeModule(R,3)?
- 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, ... - 13:11 Feature #330 (Closed): Syzygy for modules: homogeneous module
- Syz for modules
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...
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)
... - 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...
07 Mar 2013
- 23:31 Feature #8: source region
- I now have the code for producing...
- 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... - 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...
- 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...
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...
- 21:39 Feature #328 (Closed): Swap
- I think C5 should have a *@swap@* procedure.
Presumably it could simply be...
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... - 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... - 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... - 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?
... - 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...
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... - 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 ...
- 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... - 17:13 Bug #118 (Feedback): unistd and call to access in Main.C
- Can we regard this as closed now?
- 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!
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...
Also available in: Atom