ianhinder / Kranc

A Mathematica package for generating code for solving time dependent partial differential equations
http://kranccode.org
GNU General Public License v2.0
28 stars 10 forks source link

Keyword parameter values used for scheduling should form a partitaon #104

Closed eschnett closed 10 years ago

eschnett commented 10 years ago

If one uses ConditionalOnKeyword, then Kranc should check that all possible keyword values are used in some calculation. This avoids errors where one forgets to handle a certain case.

ianhinder commented 10 years ago

Duplicate of #46.