Thank you for your response.  Want I want is to ask a question of Z3 like "what is the order of element '2'.?".  I think you may be right in that maple isn't best suited for this type of program (as far as built-ins).  I thank you though for the other projects that look promising.

Thank you for your response.  Want I want is to ask a question of Z3 like "what is the order of element '2'.?".  I think you may be right in that maple isn't best suited for this type of program (as far as built-ins).  I thank you though for the other projects that look promising.