Skip to content

Commit

Permalink
Flake8 fixes, allowing weighted reverse lex ordering
Browse files Browse the repository at this point in the history
  • Loading branch information
GDeLaurentis committed Aug 16, 2024
1 parent e796bfd commit 49e0787
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion syngular/ideal.py
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ def squoosh(self):
def dim(self):
singular_commands = [f"ring r = {self.ring};",
f"ideal i = {self};", # Check which is better
f"ideal gb = std(i);", # {','.join(self.groebner_basis)};",
"ideal gb = std(i);", # {','.join(self.groebner_basis)};",
"print(dim(gb));",
"$"]
output = execute_singular_command(singular_commands)
Expand Down
2 changes: 1 addition & 1 deletion syngular/ideal_algorithms.py
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,7 @@ def extension_contraction(self, U, ordering="lp"):
Ideal = self.__class__
return int(string.split("\n")[1]), Ideal(r, [entry.replace(",", "") for entry in string.split("\n")[3:]])

def primeTestDLP(self, verbose=False, timeout_fpoly=10, timeout_dim=600,
def primeTestDLP(self, verbose=False, timeout_fpoly=10, timeout_dim=600,
iterated_degbound_computation=False, projection_number=None):
"""Returns True if the ideal is prime, False if it is not. Raises Inconclusive if it can't decide. Assumes equidimensionality of input ideal.
Experimental new feature with iterated_degbound_computation=True, may help when ideal is prime and deg-unbounded computation fails.
Expand Down
2 changes: 1 addition & 1 deletion syngular/ring.py
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ def ordering(self):
@ordering.setter
def ordering(self, ordering):
if isinstance(ordering, str):
assert ordering in ['lp', 'rp', 'dp', 'Dp', 'ls', 'rs', 'ds', 'Ds']
assert ordering[:2] in ['lp', 'rp', 'dp', 'Dp', 'ls', 'rs', 'ds', 'Ds', 'wp']
if ordering[1] == 's':
print("Warning: chosen ordering is not a well-ordering.")
else:
Expand Down

0 comments on commit 49e0787

Please sign in to comment.