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