Advanced Search

Question: How can I verify the equality of two more complicated objects

Question:How can I verify the equality of two more complicated objects

Karel Srot 216 Maple
October 29 2006
0
Hello, can you help me with my problem? If I want to verify two objects like this > a:=exp(I*x)=0; > b:=cos(x)+I*sin(x)=0; I can use the command > verify(a, b, 'relation(testeq)'); But how can I verify equality of more complicated objects, for example > a:={exp(I*x)=0, x^2-x}; > b:={cos(x)+I*sin(x)=0, x*(x-1)}; The command > verify(a, b, 'set(testeq)'); is (of course) not enough. Is there a way how to do it? How to compare the objects recursively? Mayby the solution is to write my owv verification object, but I don't know how to do it. Is it possible to define a procedure and use it in such way? > verify(a, b, 'myproc') If it is so, how should the procedure look like, so it could be used for verification. Thank you very much for your help. Karel Srot
Please Wait...