Project

General

Profile

Bug #716

NotBuiltin.cpkg5: indent for MODULE

Added by John Abbott almost 9 years ago. Updated over 1 year ago.

Status:
In Progress
Priority:
Low
Assignee:
-
Category:
enhancing/improving
Target version:
Start date:
20 May 2015
Due date:
% Done:

10%

Estimated time:
Spent time:

Description

On line 126 when indent prints out a submodule, it prints out the letter F (in a string). Is this right? I suppose it is meant to be the ambient free module?


Related issues

Related to CoCoA-5 - Design #1698: indent: return a string?Closed2022-09-27

History

#1 Updated by Anna Maria Bigatti almost 9 years ago

  • % Done changed from 0 to 10

John Abbott wrote:

On line 126 when indent prints out a submodule, it prints out the letter F (in a string). Is this right? I suppose it is meant to be the ambient free module?

yes.... it stands as a placeholder for the free module.
That is required in the syntax of SubmoduleRows, but it cannot be printed in a usable way.

#2 Updated by John Abbott over 1 year ago

  • Status changed from New to In Progress
  • Target version changed from CoCoA-5.?.? to CoCoA-5.4.2

Can we document this behaviour (since I think it is not completely self-explanatory)?

Is F the best name? Might FreeMod be better?

#3 Updated by Anna Maria Bigatti over 1 year ago

#4 Updated by Anna Maria Bigatti over 1 year ago

John Abbott wrote:

Can we document this behaviour (since I think it is not completely self-explanatory)?

Is F the best name? Might FreeMod be better?

I don't like FreeMod (mod is for modulo, not for module).
I'll think how to improve this in the output string. Not trivial.
Indeed, the easiest is just to say it in the manual.

#5 Updated by Anna Maria Bigatti over 1 year ago

  • Subject changed from NotBuiltin.cpkg5: indent fn to NotBuiltin.cpkg5: indent for MODULE

#6 Updated by John Abbott over 1 year ago

The name should be short and ideally mnemonic.
Currently F, which is a short as possible. Any idea what is typically used in literature?
A bit longer: FM or FrM (this second is perhaps more mnemonic).

Do we have some test cases?

Also available in: Atom PDF