MAXIMA :: TRIGREDUCE






MAXIMA :: TRIGREDUCE