Update:
Found some resources if they help.
An explanation of the theory can be found here:
http://www.springerlink.com/content/r44467137l65h5x1/
I think this paper might have some partial examples.
http://portal.acm.org/citation.cfm?id=901698
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support-unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
