Type: List Fraction Integer
axiom
matA := matrix [[0,0,80],[250,0,-40],[250,-250,80]]
Type: Matrix Integer
axiom
invmatA := inverse matA
Type: Union(Matrix Fraction Integer,...)
Type: Vector Fraction Integer
axiom
matB := matrix [[0,0,l * 72],[250,0,l * -36],[250,-250,l * 72]]
Type: Matrix Polynomial Integer
axiom
invmatB := inverse matB
Type: Union(Matrix Fraction Polynomial Integer,...)
Type: Vector Fraction Polynomial Integer
axiom
matC := matrix [[l1 * 0,l1 * 0,l1 * 80],[l2 * 250,l2 * 0,l2 * -40],[l3 * 250,l3 * -250,l3 *80]]
Type: Matrix Polynomial Integer
axiom
invmatC := inverse matC
Type: Union(Matrix Fraction Polynomial Integer,...)
axiom
vecC := [l1 * 300,l2 * 300,0]
Type: List Polynomial Integer
Type: Vector Fraction Polynomial Integer
axiom
matPastaA := matrix [[0,0,80,0,-300],[250,0,-40,0,-300],[250,-250,80,0,0],[250,0,100,-250,0],[0,c1,-200,c2,0]]
Type: Matrix Polynomial Integer
axiom
matPastaATimeShift := diagonalMatrix [l1,l2,l3,l4,l5]
Type: Matrix Polynomial Integer
axiom
matPastaATimeShift * matPastaA
Type: Matrix Polynomial Integer
axiom
eqPastaA := determinant (matPastaATimeShift * matPastaA)
Type: Polynomial Integer
Type: List Equation Fraction Polynomial Integer
axiom
matPastaB := matrix [[0,0,80,0],[250,0,-40,0],[250,-250,80,0],[250,0,100,-250]]
Type: Matrix Integer
axiom
invmatPastaB := inverse matPastaB
Type: Union(Matrix Fraction Integer,...)
axiom
vecPastaB := [300,300,0,0]
axiom
invmatPastaB * vecPastaB
Type: Vector Fraction Integer
axiom
fmatPasta := matrix [[1,-1,0,0,0],[0,-1,1,1,0],[0,0,250,0,-c1],[0,0,0,250,-c2],[0,0,0,0,200]]
Type: Matrix Polynomial Integer
axiom
invfmatPasta := inverse fmatPasta
Type: Union(Matrix Fraction Polynomial Integer,...)
axiom
fvecPasta := [0,0,0,0,W]
Type: List Polynomial Integer
axiom
invfmatPasta * fvecPasta
Type: Vector Fraction Polynomial Integer
axiom
fmatPastaB := matrix [[1,-1,0,0,0],[0,-1,1,1,0],[0,0,250,0,-c1],[0,0,0,250,-c2],[80,40,80,100,0]]
Type: Matrix Polynomial Integer
axiom
invfmatPastaB := inverse fmatPastaB
Type: Union(Matrix Fraction Polynomial Integer,...)
axiom
invfmatPastaB * fvecPasta
Type: Vector Fraction Polynomial Integer
axiom
detmatFoodClothes := matrix [[0,0,80,0,0,-300],[250,0,-40,0,0,-300],[250,-250,80,0,0,0],[0,0,-200,100000,0,0],[0,0,200,50000,-20,0],[0,167 * c1,-200,0,2 * c2,0]]
Type: Matrix Polynomial Integer
axiom
eqFoodClothes := determinant detmatFoodClothes
Type: Polynomial Integer
axiom
solve(eqFoodClothes,c1)
Type: List Equation Fraction Polynomial Integer
axiom
matFoodClothes := matrix [[0,0,80,0,0],[250,0,-40,0,0],[250,-250,80,0,0],[0,0,-200,100000,0],[0,0,200,50000,-20]]
Type: Matrix Integer
axiom
invmatFoodClothes := inverse matFoodClothes
Type: Union(Matrix Fraction Integer,...)
axiom
vecFoodClothes := [300,300,0,0,0]
axiom
invmatFoodClothes * vecFoodClothes
Type: Vector Fraction Integer