search

kpeeters / cadabra2

A field-theory motivated approach to computer algebra.
https://cadabra.science/
GNU General Public License v3.0
223 stars 37 forks source link

Depends should deduce info from multiple properties #96

Open kpeeters opened 6 years ago

kpeeters commented 6 years ago

::Depends(\sigma) should figure out which indices take value \sigma, and then automatically use that info to induce a ::Depends(\partial_{a}) type property.