diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2013-09-10 16:46:57 +0200 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2013-09-10 16:46:57 +0200 |
| commit | a457ab972bb6e4cffa05e3de858284d69151b37a (patch) | |
| tree | dbb8bf1fbfd35d4c5c6c1485a42beb4b5c358bb9 | |
| parent | 47a648e371614492c31dd8ac5bf4beb78b34e39e (diff) | |
KrancGroups.m: Add GroupExtras function
| -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 9140eb2..2d885bd 100644 --- a/Tools/CodeGen/KrancGroups.m +++ b/Tools/CodeGen/KrancGroups.m @@ -55,6 +55,7 @@ CheckGroups; VerifyGroupNames; VerifyGroups; EnsureTimelevels; +GroupExtras; Begin["`Private`"]; @@ -107,6 +108,9 @@ GroupTimelevels[g_] := extras = Drop[g, 2]; lookupDefault[extras, Timelevels, False]]; +GroupExtras[g_] := + Drop[g, 2]; + NonevolvedTimelevels[group_] := Module[{tls = GroupTimelevels[group]}, If[ tls === False, 1, tls]]; |