Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • recursion-limited-stringifier
  • fusion_update
  • combine-at-expr
  • v2017.1
  • v2016.2.3
  • v2016.2.2
  • v2016.2.1
  • v2016.2
  • v2016.1.1
  • v2016.1
  • v2015.2.5
  • v2015.2.4
  • v2015.2.3
  • v2015.2.2
  • v2015.2.1
  • v2015.2
  • v2015.1
  • v2014.3
  • v2014.2
  • v2014.1.1
  • v2014.1
  • v2013.3.5
  • v2013.3.4
24 results
Blame Permalink
Forked from Andreas Klöckner / pymbolic
Source project has a limited visibility.
  • Matt Wala's avatar
    efcc7cac
    Fix unidirectional unification. · efcc7cac
    Matt Wala authored 
    The unidirectional unifier now works on examples such as a+b*c =>
d+e*f. This required a couple of changes to the algorithm, the main
one being that we allow variables to match against subtrees of the
expression.
    efcc7cac
    History
    Fix unidirectional unification.
    Matt Wala authored 
    The unidirectional unifier now works on examples such as a+b*c =>
d+e*f. This required a couple of changes to the algorithm, the main
one being that we allow variables to match against subtrees of the
expression.