ghorn/dvda — Issue #27: make Expr/Tensor/GNode Ord
Author: ghorn
Created: 2011-12-11 21:32:09+00:00
State: open
Labels: Core

There are some O[n^2] operations which could be O[log(n)] if Data.Map or Data.IntMap was used, like the use of `elem` to see if an expression is repeated.

GNode may use Ord for topsort already, so change to sortBy