diff options
author | Ian Hinder <ian.hinder@aei.mpg.de> | 2013-09-09 18:06:02 +0200 |
---|---|---|
committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2013-09-09 18:06:02 +0200 |
commit | f6fa55eecc96f923a2a620cb844284bf0482adf4 (patch) | |
tree | d5dfe7794b367d7314c95ef9a416c61c5f540789 | |
parent | b5ceb9a9484777095620be4570f260804323b8a5 (diff) |
KrancThorn.m: Move two functions to KrancGroups.m
-rw-r--r-- | Tools/CodeGen/KrancGroups.m | 12 | ||||
-rw-r--r-- | Tools/CodeGen/KrancThorn.m | 10 |
2 files changed, 12 insertions, 10 deletions
diff --git a/Tools/CodeGen/KrancGroups.m b/Tools/CodeGen/KrancGroups.m index 3866c42..51dd224 100644 --- a/Tools/CodeGen/KrancGroups.m +++ b/Tools/CodeGen/KrancGroups.m @@ -54,6 +54,8 @@ GroupTimelevels; allGroupVariables; NonevolvedTimelevels; CheckGroups; +VerifyGroupNames; +VerifyGroups; Begin["`Private`"]; @@ -266,6 +268,16 @@ CheckGroups[groups_] := ThrowError["Variable names and group names must be distinct. Group names which are also variable names:", int]]; ]; +VerifyGroups[gs_] := + If[!ListQ[gs], + ThrowError["Not a list of group definitions: ", gs], + Map[VerifyGroup, gs]]; + +VerifyGroupNames[gns_] := + If[!ListQ[gns], + ThrowError["Not a list of group names: ", gns], + Map[VerifyGroupName, gns]]; + End[]; EndPackage[]; diff --git a/Tools/CodeGen/KrancThorn.m b/Tools/CodeGen/KrancThorn.m index efe0292..f07ce08 100644 --- a/Tools/CodeGen/KrancThorn.m +++ b/Tools/CodeGen/KrancThorn.m @@ -41,16 +41,6 @@ Begin["`Private`"]; Utility functions -------------------------------------------------------------------------- *) -VerifyGroups[gs_] := - If[!ListQ[gs], - ThrowError["Not a list of group definitions: ", gs], - Map[VerifyGroup, gs]]; - -VerifyGroupNames[gns_] := - If[!ListQ[gns], - ThrowError["Not a list of group names: ", gns], - Map[VerifyGroupName, gns]]; - cktCheckNamedArgs[l_] := Module[{used, unrecognized}, used = Map[First, l]; |