The Fortress Language Specification - CiteSeerX

cube 2 = [1 0; 0 1; ; 1 − 1; 1 1 ]
A restricted form of the pasting syntax can also be used on the left hand side of variable declarations to express
both declaration and submatrix decomposition.
[top
bot ] = X
[left right ] = Y
Z = [top · left top · right;
bot · left bot · right ]
Section 6.5 describes matrix unpasting in detail and includes more examples.
CompilationUnit ::= Component
| Api
Component ::= component DottedId Import ∗ Export ∗ Decl ∗ end
Api ::= api DottedId Import ∗ AbsDecl ∗ end
DottedId ::= Id ( . Id) ∗
Import ::= import ImportFrom from DottedId
| import AliasedDottedIds
ImportFrom ::= * [except Names]
| AliasedNames
Names ::= Name
| { NameList }
Name ::= Id
| opr Op
NameList ::= Name ( , Name) ∗
AliasedNames ::= AliasedName
| { AliasedNameList }
AliasedName ::= Id [as DottedId]
| opr Op [as Op]
| opr LeftEncloser RightEncloser [as LeftEncloser RightEncloser]
AliasedNameList ::= AliasedName ( , AliasedName) ∗
AliasedDottedIds ::= AliasedDottedId
| { AliasedDottedIdList }
AliasedDottedId ::= DottedId [as DottedId]
AliasedDottedIdList ::= AliasedDottedId ( , AliasedDottedId) ∗
Export ::= export DottedIds
DottedIds ::= DottedId
| { DottedIdList }
DottedIdList ::= DottedId ( , DottedId) ∗
Decl ::= TraitDecl
| ObjectDecl
| FnDecl
| VarDecl
| DimUnitDecl
| TypeAlias
| TestDecl
| PropertyDecl
| ExternalSyntax
TraitDecl ::= TraitHeader (MdDecl | AbsFldDecl | PropertyDecl) ∗ end
TraitHeader ::= TraitMod ∗ trait Id [StaticParams] [Extends] [Excludes] [Comprises] [Where]
376