Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/inveqn.h

MEXPORT_PROVER int invert_eqn(term,term,term,term *);
MEXPORT_PROVER int invert_eqn2(term,term,term,term *);
MEXPORT_PROVER int invert_function(unsigned f, term c, term *ans);

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists