CoCoA:Shortcuts

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 &gt;&lt; B   A, B: LIST
&lt;&lt;       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