me/toddcox-visualize-v0
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove debugging

Browse Source
This commit is contained in:
David Allemang
2019-12-11 20:20:50 -05:00
parent 149120dbc6
commit a2d46e8bc3
3 changed files with 28 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.idea/vcs.xml generated Normal file
View File

@@ -0,0 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="VcsDirectoryMappings">
<mapping directory="$PROJECT_DIR$" vcs="Git" />
</component>
</project>

32
.idea/workspace.xml generated
View File

@@ -1,7 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<project version="4"> <project version="4">
<component name="ChangeListManager"> <component name="ChangeListManager">
<list default="true" id="d9bcf4a3-5128-4140-a8b2-98cb9536d00e" name="Default Changelist" comment="" /> <list default="true" id="d9bcf4a3-5128-4140-a8b2-98cb9536d00e" name="Default Changelist" comment="">
<change beforePath="$PROJECT_DIR$/speedy_gonzolas.py" beforeDir="false" afterPath="$PROJECT_DIR$/speedy_gonzolas.py" afterDir="false" />
</list>
<option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" /> <option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" />
<option name="SHOW_DIALOG" value="false" /> <option name="SHOW_DIALOG" value="false" />
<option name="HIGHLIGHT_CONFLICTS" value="true" /> <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -29,7 +31,11 @@
</list> </list>
</option> </option>
</component> </component>
<component name="Git.Settings">
<option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
</component>
<component name="ProjectId" id="1UrBzU5LBS1twz9GRL9IT4R6RuY" /> <component name="ProjectId" id="1UrBzU5LBS1twz9GRL9IT4R6RuY" />
<component name="ProjectLevelVcsManager" settingsEditedManually="true" />
<component name="PropertiesComponent"> <component name="PropertiesComponent">
<property name="WebServerToolWindowFactoryState" value="false" /> <property name="WebServerToolWindowFactoryState" value="false" />
<property name="settings.editor.selected.configurable" value="preferences.lookFeel" /> <property name="settings.editor.selected.configurable" value="preferences.lookFeel" />
@@ -85,31 +91,37 @@
<option name="number" value="Default" /> <option name="number" value="Default" />
<option name="presentableId" value="Default" /> <option name="presentableId" value="Default" />
<updated>1576105095293</updated> <updated>1576105095293</updated>
<workItem from="1576105097677" duration="8305000" /> <workItem from="1576105097677" duration="8524000" />
</task> </task>
<servers /> <servers />
</component> </component>
<component name="TypeScriptGeneratedFilesManager"> <component name="TypeScriptGeneratedFilesManager">
<option name="version" value="1" /> <option name="version" value="1" />
</component> </component>
<component name="Vcs.Log.Tabs.Properties">
<option name="TAB_STATES">
<map>
<entry key="MAIN">
<value>
<State />
</value>
</entry>
</map>
</option>
</component>
<component name="XDebuggerManager"> <component name="XDebuggerManager">
<breakpoint-manager> <breakpoint-manager>
<breakpoints> <breakpoints>
<line-breakpoint enabled="true" suspend="THREAD" type="python-line"> <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
<url>file://$PROJECT_DIR$/speedy_gonzolas.py</url> <url>file://$PROJECT_DIR$/speedy_gonzolas.py</url>
<line>90</line> <line>87</line>
<option name="timeStamp" value="11" /> <option name="timeStamp" value="11" />
</line-breakpoint> </line-breakpoint>
<line-breakpoint enabled="true" suspend="THREAD" type="python-line"> <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
<url>file://$PROJECT_DIR$/speedy_gonzolas.py</url> <url>file://$PROJECT_DIR$/speedy_gonzolas.py</url>
<line>100</line> <line>97</line>
<option name="timeStamp" value="14" /> <option name="timeStamp" value="14" />
</line-breakpoint> </line-breakpoint>
<line-breakpoint enabled="true" suspend="THREAD" type="python-line">
<url>file://$PROJECT_DIR$/speedy_gonzolas.py</url>
<line>145</line>
<option name="timeStamp" value="16" />
</line-breakpoint>
</breakpoints> </breakpoints>
<default-breakpoints> <default-breakpoints>
<breakpoint type="python-exception"> <breakpoint type="python-exception">
@@ -127,6 +139,6 @@
</watches-manager> </watches-manager>
</component> </component>
<component name="com.intellij.coverage.CoverageDataManagerImpl"> <component name="com.intellij.coverage.CoverageDataManagerImpl">
<SUITE FILE_PATH="coverage/tc_fast$speedy_gonzolas.coverage" NAME="speedy_gonzolas Coverage Results" MODIFIED="1576113402777" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$" /> <SUITE FILE_PATH="coverage/tc_fast$speedy_gonzolas.coverage" NAME="speedy_gonzolas Coverage Results" MODIFIED="1576113489878" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$" />
</component> </component>
</project> </project>

19
speedy_gonzolas.py
View File

@@ -85,9 +85,6 @@ def solve(cosets: Cosets, rel_tables: List[RelTable]):
if idx == len(cosets.data): if idx == len(cosets.data):
break break
# print()
# print(cosets)
# print()
coset, gen = divmod(idx, cosets.ngens) coset, gen = divmod(idx, cosets.ngens)
target = len(cosets) target = len(cosets)
@@ -120,14 +117,6 @@ def solve(cosets: Cosets, rel_tables: List[RelTable]):
elif rel.gen[target] == rel.mul - 1: elif rel.gen[target] == rel.mul - 1:
rel.lst[rel.fam[target]] = target rel.lst[rel.fam[target]] = target
# print('=====================')
# for rel in rel_tables:
# print(rel.gens)
# print('fam', rel.fam)
# print('gen', rel.gen)
# print('lst', rel.lst)
# print()
facts.sort(reverse=True) facts.sort(reverse=True)
for rel in rel_tables: for rel in rel_tables:
@@ -143,14 +132,6 @@ def solve(cosets: Cosets, rel_tables: List[RelTable]):
if count == 1: if count == 1:
rel.gen[target] = -1 rel.gen[target] = -1
# print('=====================')
# for rel in rel_tables:
# print(rel.gens)
# print('fam', rel.fam)
# print('gen', rel.gen)
# print('lst', rel.lst)
# print()
if __name__ == '__main__': if __name__ == '__main__':
# cosets = Cosets(3) # cosets = Cosets(3)