diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2013-09-11 16:24:15 +0200 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2013-09-11 16:24:15 +0200 |
| commit | ec4399483cac51a8322265c6d1c6591bbde54f20 (patch) | |
| tree | b585931707258021b23fcff0bd3f565ed886ec0c /Tools | |
| parent | a485e7175529c24b0bb307f3602990776978f9c1 (diff) | |
KrancGroups.m: Add DeleteGroupExtra function
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/CodeGen/KrancGroups.m | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Tools/CodeGen/KrancGroups.m b/Tools/CodeGen/KrancGroups.m index 53b66ad..d49b21f 100644 --- a/Tools/CodeGen/KrancGroups.m +++ b/Tools/CodeGen/KrancGroups.m @@ -56,6 +56,7 @@ VerifyGroupNames; VerifyGroups; EnsureInterfaceTimelevels; GroupExtras; +DeleteGroupExtra; Begin["`Private`"]; @@ -91,6 +92,9 @@ CreateGroup[name_, vars_, extras_] := AddGroupExtra[group_, extra_] := Append[group, extra]; +DefFn[ + DeleteGroupExtra[group_, extra_Symbol] := + DeleteCases[group, extra -> _]]; VerifyGroup[group_] := Module[{}, |