Advanced Search

Question: Which function can do match like this?

Question:Which function can do match like this?

ComputerUser 535 Maple
type
June 08 2013
0

like f# do

 

match(tree)

with| verification('hyporesult'(alpha,beta), 'dedeuceto'('Conj'(alpha,beta),gamma) -> 'hyporesult'('Conj'(alpha,gamma),beta)

 

need to get hyporesult is prefix, and then use if the compare, and get first parameter and second parameter such as for 'Conj'(alpha, gamma)

 

i use typefunc('hyporesult'(alpha,beta)) can not get 'hyporesult'

moreover how to get first parameter and second parameter
Please Wait...