77 lines
1.0 KiB
Plaintext
Executable File
77 lines
1.0 KiB
Plaintext
Executable File
Set {
|
|
Triple (
|
|
Substitutions:
|
|
Set {
|
|
C --> Matrix,
|
|
D --> Matrix,
|
|
E --> Matrix,
|
|
F --> Matrix
|
|
}
|
|
ResultType: void
|
|
Assumptions:
|
|
Set {
|
|
m: A,
|
|
ret: Matrix,
|
|
mul: A --> B
|
|
} ),
|
|
Triple (
|
|
Substitutions:
|
|
Set {
|
|
C --> Matrix,
|
|
D --> Matrix,
|
|
E --> Matrix,
|
|
F --> Menge< Menge< Integer > >
|
|
}
|
|
ResultType: void
|
|
Assumptions:
|
|
Set {
|
|
m: A,
|
|
ret: Matrix,
|
|
mul: A --> B
|
|
} ),
|
|
Triple (
|
|
Substitutions:
|
|
Set {
|
|
C --> Menge< Menge< Integer > >,
|
|
D --> Matrix,
|
|
E --> Menge< Menge< Integer > >,
|
|
F --> Matrix
|
|
}
|
|
ResultType: void
|
|
Assumptions:
|
|
Set {
|
|
m: A,
|
|
ret: Menge< Menge< Integer > >,
|
|
mul: A --> B
|
|
} ),
|
|
Triple (
|
|
Substitutions:
|
|
Set {
|
|
C --> Menge< Menge< Integer > >,
|
|
D --> Matrix,
|
|
E --> Menge< Menge< Integer > >,
|
|
F --> Menge< Menge< Integer > >
|
|
}
|
|
ResultType: void
|
|
Assumptions:
|
|
Set {
|
|
m: A,
|
|
ret: Menge< Menge< Integer > >,
|
|
mul: A --> B
|
|
} ),
|
|
Triple (
|
|
Substitutions:
|
|
Set {
|
|
C --> Menge< Menge< Integer > >,
|
|
D --> Menge< Menge< Integer > >,
|
|
E --> Menge< Menge< Integer > >,
|
|
F --> Menge< Menge< Integer > >
|
|
}
|
|
ResultType: void
|
|
Assumptions:
|
|
Set {
|
|
m: A,
|
|
ret: Menge< Menge< Integer > >,
|
|
mul: A --> B
|
|
} )
|
|
} |