brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-12-11 04:40:25 +00:00
Code Issues Projects Releases Packages Wiki Activity

Changed output text to show matrix instead of model

Browse source
This commit is contained in:
Brandon Rozek 2025-12-09 10:27:51 -05:00 • committed by GitHub
commit ea0b487528
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
model.py
View file

@ -202,7 +202,7 @@ class Model:
def __str__(self):
result = ("=" * 25) + f"""
Model Name: {self.name}
Matrix Name: {self.name}
Carrier Set: {set_to_str(self.carrier_set)}
Designated Values: {set_to_str(self.designated_values)}
"""

4
vsp.py
View file

@ -21,8 +21,8 @@ class VSP_Result:
def __str__(self):
if not self.has_vsp:
return f"Model {self.model_name} does not have the variable sharing property."
return f"""Model {self.model_name} has the variable sharing property.
return f"Matrix {self.model_name} does not have the variable sharing property."
return f"""Matrix {self.model_name} has the variable sharing property.
Subalgebra 1: {set_to_str(self.subalgebra1)}
Subalgebra 2: {set_to_str(self.subalgebra2)}
"""

4
vspursuer.py
View file

@ -168,7 +168,7 @@ def multi_process_runner(num_cpu: int, data_file_path: str, skip_to: Optional[st
if vsp_result.has_vsp:
num_has_vsp += 1
print_with_timestamp(f"Tested {num_tested} models, {num_has_vsp} of which satisfy VSP")
print_with_timestamp(f"Tested {num_tested} matrices, {num_has_vsp} of which satisfy VSP")
def single_process_runner(data_file_path: str, skip_to: Optional[str]):
num_tested = 0
@ -189,7 +189,7 @@ def single_process_runner(data_file_path: str, skip_to: Optional[str]):
if vsp_result.has_vsp:
num_has_vsp += 1
print_with_timestamp(f"Tested {num_tested} models, {num_has_vsp} of which satisfy VSP")
print_with_timestamp(f"Tested {num_tested} matrices, {num_has_vsp} of which satisfy VSP")
if __name__ == "__main__":