CoCoA:Shortcuts

Shortcuts

Special characters equivalent to commands

Description

: is equivalent to <ttref>Colon</ttref>:

M : N stands for Colon(M, N).

<formula>><</formula> is equivalent to <ttref>CartesianProduct, CartesianProductList</ttref>:

A >< B stands for CartesianProduct(A, B).

<formula><<</formula> is the obsolescent equivalent to <ttref>Source</ttref>:

<< "myfile.cocoa" stands

for Source "myfile.cocoa".

? is equivalent to <ttref>Man</ttref>:

? string stands for Man("string").

?? is equivalent to <ttref>Man</ttref>:

?? string stands for Man("string", 0).

@ is equivalent to <ttref>Untagged</ttref>:

@A stands for Untagged(A).

.. is the Range Operator.

Syntax

M : N    M, N: MODULE of IDEAL
A >< B   A, B: LIST
<<       S:STRING
?        S:STRING
??       S:STRING
@A       A:TAGGED
A..B     A,B:INT or A,B:indeterminates

Colon

Source

CartesianProduct, CartesianProductList

Man

Untagged

Range Operator

Character Set and Special Symbols