Svend Haugaard Sørensen

Results 5 issues of Svend Haugaard Sørensen

I have extracted 5136 sentences from the Europarl dataset. The file contains sentences with - no more than 14 words - uppercase letter at start. - no uppercase letters inside...

Bulk sentence submission

Out> {{6,2,-2},{2,6,-2},{-2,-2,6}} In> ata24:=% Out> {{6,2,-2},{2,6,-2},{-2,-2,6}} In> EigenValues(%) Out> {4,4,10} In> e24:=% Out> {4,4,10} In> EigenVectors(ata24,e24) Out> {{k1==k1,k2==(4\*k1+2\*k3-6\*k1)/2,k3==k3},{k1==k1,k2==(4\*k1+2\*k3-6\*k1)/2,k3==k3},{k1== -k3,k2==(10\*k1+2\*k3-6\*k1)/2,k3==k3}} Verify([Local(a);a:={{6,2,-2},{2,6,-2},{-2,-2,6}};Length(Difference(EigenVectors(a,EigenValues(a)),{{1,0,1},{-1,1,0},{-1,-1,1}}))=0;],True)

bug
math

Test with Verify(Length(a),Length(a)); For an unknown variable 'a' the expression Length(a) should evaluate to Length(a). After looking in the documentation, I realize it might have to do with native functions....

math

In> sf(a,x):=Sum(k,1,LLength(a),f(a[k].x)); Out> True In> sf(a,{z,y}) Out> Sum(k,1,LLength(a),f(a[k].x)) The list/vector {z,y} is missing in the final output. (Version 1.7.0)

bug
math

Following test show the problem. D({x,y} will be applied to node instead of 9*x^8. Verify(MapSingle({{node},D({x,y}) node},{9*x^8,0}),{D({x,y}) 9*x^8,D({x,y}) 0}); Verify(MapSingle(Lambda({{node},D({x,y}) node}),{9*x^8,0}),{D({x,y}) 9*x^8,D({x,y}) 0});