Should add to built in function basis(vecspace vs) to scanner and parser

dim function should apply to vector and vector space, affine space and inner product space

Assign to array elements haven't been implemented.

L() function should allow no arguemnt, which means return to me a zero vector space

!/usr/bin/python

import sys
sys.path.append('./lib')
from InSpace import *
from AffSpace import *

def main() :
v1=np.array([1,0,0])
v2=np.array([0,1,0])
v3=np.array([0,0,1])
mat=np.matrix(((1,0,0),(0,1,0),(0,0,1)))
vecs=[v1,v2,v3]
ins=InSpace(vecs,mat)
v4=np.array([2,3,4])
v5=np.array([-1,1,2])
print(ins.product(v4,v5))

main()

run a.out, it says "Please check dimensions of vectors and matrix".
This is the tests/test_inspace_construction.la test result.

when calling function, haven't check the number of arguments and the type of arguments

e.g. var a[4] = {2, 2.4, b, c};

should make sure there are 4 elements, and each element is a var.

I think beside usage L(v1,v2,v3) where v1,v2,v3 are vectors, we should also allow use L( b), where b is a variable of type array of vectors.

test case LieBracket.la can not pass

The file parser.mly line196 has some error. For inner product, we are supposed to use as id<< vector1,vector2>>. So May be we also need extra type in the ast.ml for inner product, because we need to remember the id.

It said " Fatal error: exception Parsing.Parse_error"

the built in function solving linear equation has not been implemented in scanner and parser?

how to implement dot multiple

the last line should not just print [ ]. It is the basis of vs4 which is L(vecs), and vecs = {v1,v2}.

check if continue, break are in the for loop, if, or while loop environment

We use tolerance to determine whether a number is zero in many places, especially in the python file. We should use a global one such that they are consistent everywhere.

Dot operators like .* ./ .+ .- haven't been implemented.

vector a;
a = [1,2,3];

It said "Fatal error: exception Parsing.Parse_error "

belongs function in VecSpace.py doesn't work properly

function foo(var a)
{
return a;
}

funciton main()
{
vector b = foo(1);
}

should not allow this circumstance.

the action of matrix on vector use operator &, it is missing from the scanner and parser

before:
for var a = 1:5
{ print(a); }

now:
var a;
for a = 1:5
{print(a);}

line 7 and line 10 seems strange, line 7 just declare a variable vs, but did not assign it any value, it should have value of something like null, but line 10 use vectors[i]@vs, the compiler should report error ?

As I mentioned before, the parser can not recognize the expression a = [1,2,3,4] which is not a declaration. The problem is still there. Or shall we revise the manual to prohibit such usage?