From 18c2bcb67393ae402a0627435ef83762e7e337b5 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Tue, 9 Dec 2025 10:26:15 -0500 Subject: [PATCH] Changed from model to matrix --- model.py | 2 +- vsp.py | 4 ++-- vspursuer.py | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/model.py b/model.py index 429a26e..615e6ee 100644 --- a/model.py +++ b/model.py @@ -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)} """ diff --git a/vsp.py b/vsp.py index 034005f..85d912e 100644 --- a/vsp.py +++ b/vsp.py @@ -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)} """ diff --git a/vspursuer.py b/vspursuer.py index d9d9e53..5914a5f 100755 --- a/vspursuer.py +++ b/vspursuer.py @@ -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__":