-
Notifications
You must be signed in to change notification settings - Fork 1
/
default_settings.txt
173 lines (147 loc) · 6.61 KB
/
default_settings.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
(*
This is the default settings of NeatIBP
This config file will be included into several mathematica scripts using Get.
Please make sure the paths are absolute paths, and pay attention to special characters.
*)
(*------------input files----------------*)
kinematicsFile = workingPath<>"kinematics.txt";(*workingPath will be set as the current working path*)
targetIntegralsFile = workingPath<>"targetIntegrals.txt";
(*-----------dependency settings---------*)
SingularApp = "/usr/bin/Singular";
SparseRREF`SpaSMLibrary = "/usr/local/lib/libspasm.so";
(*-----------directory settings----------*)
ReductionOutputName="Untitled";
outputPath=Automatic;
(*outputPath=workingPath<>"test/";*)(*alternative*)
(*-----------math settings---------------*)
OptionSimplification = 12;
FiniteFieldModulus=42013;(*do not use any prime number larger than 46337*)
AzuritinoIntersectionDegreeBound=0;
NeatIBPIntersectionDegreeBound=5;
FlexibleNeatIBPIntersectionDegreeBound=False;(*Something wrong... do not use True*)
NeatIBPIntersectionTimeConstrain=3600;(*seconds*)
NeatIBPIntersectionDegreeBoundDecreaseLimit=2;
IBPCoefficientForm=Expand;
SimplifySyzygyVectorsByCut=False;
SingularMonomialOrdering="dp";
SingularVariableOrdering="NumeratorFirst";(*"NumeratorFirst" or "DenominatorFirst"*)
SingularVariableBlockOrdering=False;
(*-----------physics settings-------------*)
IntegralOrder = "MultiplePropagatorElimination"
NeedSymmetry=True;
CutIndices={};
SeedingAdditionalDegree=4;
AdditionalMISymmetries=True;(*find possible additional symmetries between master integrals in summarization step*)
(*-----------method settings--------------*)
MIFromAzuritino=True;
CriticalPointInAzuritino=True;
StrictMI=False;
StrictDenominatorPowerIndices=False;
AllowedDenominatorPowerLift=1;(*Irrelavant if StrictDenominatorPowerIndices==True*)
FineGrainedZurichSeeding=False;
(*-----------usage settings--------------*)
MemoryUsedLimit=Infinity;(*MB*)
ThreadUsedLimit=Infinity;
DeleteSingularScriptFiles=False;
DeleteSingularResultFiles=True;
(*----------additional outputs-----------*)
SilentExport=True;
ExportTheModules=False;(*the modules before module intersection, including M1, M1ext, M2.*)
ExportUsedSyzygyVectors=False;(*The syzygy vectors really used in the final output IBPs*)
ExportAllSyzygyVectorsBeforeSimplification=False;(*if there is no simplification, this setting is useless*)
ExportAllSyzygyVectors=False;(*All the syzygy vectors from Singular*)
ExportUsedFIBPs=False;(*The fundamental (symbolic) IBPs really used in the final output IBPs*)
ExportAllFIBPs=False;(*All the fundamental (symbolic) IBPs from the syzygy vectors from Singular*)
ExportNCornerKilledFIBPs=False;(*for developers*)
ExportFinalRawIBPs=False;(*for developers*)
ExportFinalRawIBPsInFI0=False;(*for developers, recommended to use with ExportAllSyzygyVectors together*)
(*the followings are all for developers*)
ExportFinalNIBPs=False;
ExportFinalNIBPsCutted=False;
ExportCompleteRawIBPs=False;
ExportCompleteRawIBPsInFI0=False;
ExportCompleteNIBPs=False;
ExportCompleteNIBPsCutted=False;
ExportSubsecRemovedRawIBPs=False;
ExportSubsecRemovedRawIBPsInFI0=False;
ExportSubsecRemovedNIBPs=False;
ExportSubsecRemovedNIBPsCutted=False;
ExportSortedRawIBPs=False;
ExportSortedRawIBPsInFI0=False;
ExportSortedNIBPs=False;
ExportSortedNIBPsCutted=False;
ExportIndependentRawIBPs=False;
ExportIndependentRawIBPsInFI0=False;
ExportIndependentNIBPs=False;
ExportIndependentNIBPsCutted=False;
(*----------spanning cuts related--------*)
SpanningCutsMode=False;
SpanningCutsEvaluationMode="Parallel";
ShortenIBPs=True;
(*-----------IBP Reduction related-------*)
PerformIBPReduction=False;
(*if this is set to be True, NeatIBP runs related reducer via interfaces, to reduce the IBPs, after summarizing.*)
IBPReductionMethod="None";
(*
options:
"None": equivalent to setting PerformIBPReduction=False
"FFNumerical": a numerical reduction on finite field
"Kira": using Kira
*)
(*---Kira setting---*)
KiraCommand=""
FermatPath=""
UseShortenedIBPForKira=True;(*only valid for spanning cuts mode*)
ForceRemoveExistingKiraResults=False;
ParallelKiraReductionForSpanningCuts=True;
ParallelKiraJobNumber=Infinity;
RunFireFlyInKira=True;
(*--------developer settings-------------*)
debugMode=False;
developerMode=False;
seedingViaFIBPFunction=True;
FIBPsNCornerKill=True;
SowAndReap=True;(*of the Zuirch seeding in the main body of NeatIBP*)
ParallelInFindingSectorMaps=True;(*ParallelTable*)
UseSRFindPivots=True;(*Currently, we only use this in IndepedentSet*)
MomentumMapTimeConstrain=15;(*seconds*)
UseNicePropagatorsInMomentumMap=True;(*must turn off this if one or more propagators are not quadratic*)
ReportNoticeInDeepMomentumMap=False;
ReportWarningInMomentumMap=False;
PreferedExternalExtendedRotationMethod="DeltaPlaneProjection";(*"Orthogonalization" or "DeltaPlaneProjection"*)
moduleIntersectionMethod = "Singular";
AzuritinoDefaultStartDegree=3;(*Irrelavant if CriticalPointInAzuritino==True*)
AzuritinoDefaultMaxDegree=5;(*Irrelavant if CriticalPointInAzuritino==True*)
DenominatorTypeLiftIndexLists={};(*data structure: a list of index lists. This is a discarded setting, recommended to leave it as default*)
LinearSyzDegree=3;
NumericIBP=False;
ReportIrreducibleIntegralsAfterIBPAnalyze=False;
AllowingCornerOnlyModeInSimplifyByCut=True;
SimplifyByCutMethod="LiftSelection";(*"LiftResubstitution" or "LiftSelection", "LiftSelection" recommended*)
SkipLiftInLiftSelection=False;
FurtherSyzygyVectorsSelection=True;(*deleting vectors to test if cut GB unchange, only valid for "LiftSelection"*)
FiniteFieldModulus2=117763;(*for FurtherSyzygyVectorsSelection*)
LiftSelectionStricty=10;(*the propability to delete a syzygy vector which should be deleted in LiftSelection, >1 means 1, <0 means 0*)
FurtherSyzygyVectorsSelectionStricty=10;(*the propability to delete a syzygy vector which should be deleted in Further selection, >1 means 1, <0 means 0*)
ReportFurtherSelectedSyzygyVectors=False;
NeatIBPSeedingMethod="Zurich";
FIBPGroupingStartRatio=0.5;(*not used*)
FIBPGroupingRemainingGroups=2;(*not used*)
ParameterRepermute=False;
ParameterRepermuteIndex={};
FurtherSelectionTimeUsedLimit=Infinity;(*seconds*)
FurtherSelectionSingularTimeConstrain=Infinity;(*seconds*)
AllowInternet=True; (*One may disable this option to avoid the internet check of certain mathkernel functions, especially for downward supported versions of Mathematica*)
ExternalMomentaGroupingMethod="MomentumSpace";
(*--------sectorwise settings-------------*)
SectorwiseSettings={};
(*
gramma:
SectorwiseSettings={
{127,{"NeatIBPIntersectionDegreeBound=4","SeedingAdditionalDegree=3"}},
{126,{"NeatIBPIntersectionDegreeBound=4"}},
...
};
*)
(*-------other default settings----------*)
GenericD={d-> 3/137};