inters3:Intersection in dim 3
inters4:Intersection in dim 4
inters4b:Intersection in dim 4 II
inters5:Intersection in dim 5 I
inters5b:Intersection in dim 5 II
inters5c:Intersection in dim 5 III
linsub13:Vector subspace dim 1/3
linsub14:Vector subspace dim 1/4
linsub23:Vector subspace dim 2/3
linsub24:Vector subspace dim 2/4
linsub34:Vector subspace dim 3/4
mat2x2given:Given matrices 2x2
mat2x2givenb:Given matrices 2x2 II
poly2given:Given polynomials degree 2
poly2givenb:Given polynomials degree 2 II
poly2val:Polynomial degree 2 with values
poly3der:Polynomial degree 3 with derivatives
poly3derb:Polynomial degree 3 with derivatives II
poly3given:Given polynomials degree 3
poly3givenb:Given polynomials degree 3 II
poly3val:Polynomial degree 3 with values
poly4der:Polynomial degree 4 with derivatives
poly4derb:Polynomial degree 4 with derivatives II
poly4val:Polynomial degree 4 with values
