compare the complexities of two expressions
The GreaterComplexity command returns true if the expression expr1 is more complex than expr2; otherwise, false is returned.
GreaterComplexity uses SolveTools[Complexity] in polynomial mode to compute the relative complexities of the expressions. If the expressions have the same complexity according to the Complexity function, then GreaterComplexity determines that the more complex expression is the one that has the higher lexicographical order of its indeterminates.
This function is part of the SolveTools package, and so it can be used in the form GreaterComplexity(..) only after executing the command with(SolveTools). However, it can always be accessed through the long form of the command by using SolveTools[GreaterComplexity](..).
Download Help Document
What kind of issue would you like to report? (Optional)