Add sympy-compatible export option

- Allow printing atoms in canonical form, independent of implementation details.
benruijl · Jul 23, 2024 · 48c5b99 · 48c5b99
1 parent cd91cf7
commit 48c5b99
Show file tree

Hide file tree

Showing 6 changed files with 317 additions and 169 deletions.
diff --git a/examples/fuel_backend.rs b/examples/fuel_backend.rs
@@ -43,19 +43,7 @@ fn main() {
             .collect(),
     );
 
-    let print_opt = PrintOptions {
-        terms_on_new_line: false,
-        color_top_level_sum: false,
-        color_builtin_symbols: false,
-        print_finite_field: false,
-        symmetric_representation_for_finite_field: false,
-        explicit_rational_polynomial: false,
-        number_thousands_separator: None,
-        multiplication_operator: '*',
-        square_brackets_for_function: false,
-        num_exp_as_superscript: false,
-        latex: false,
-    };
+    let print_opt = PrintOptions::file();
 
     buffer.clear();
     while let Ok(n) = stdin.read_line(&mut buffer) {

diff --git a/src/api/cpp.rs b/src/api/cpp.rs
@@ -163,17 +163,8 @@ unsafe extern "C" fn simplify(
     let token = Token::parse(cstr).unwrap();
 
     let opts = PrintOptions {
-        terms_on_new_line: false,
-        color_top_level_sum: false,
-        color_builtin_symbols: false,
-        print_finite_field: false,
-        symmetric_representation_for_finite_field: false,
         explicit_rational_polynomial,
-        number_thousands_separator: None,
-        multiplication_operator: '*',
-        square_brackets_for_function: false,
-        num_exp_as_superscript: false,
-        latex: false,
+        ..PrintOptions::file()
     };
 
     macro_rules! to_rational {
@@ -299,17 +290,8 @@ unsafe extern "C" fn simplify_factorized(
     let token = Token::parse(cstr).unwrap();
 
     let opts = PrintOptions {
-        terms_on_new_line: false,
-        color_top_level_sum: false,
-        color_builtin_symbols: false,
-        print_finite_field: false,
-        symmetric_representation_for_finite_field: false,
         explicit_rational_polynomial,
-        number_thousands_separator: None,
-        multiplication_operator: '*',
-        square_brackets_for_function: false,
-        num_exp_as_superscript: false,
-        latex: false,
+        ..PrintOptions::file()
     };
 
     macro_rules! to_rational {

diff --git a/src/api/mathematica.rs b/src/api/mathematica.rs
@@ -81,17 +81,8 @@ fn simplify(input: String, prime: i64, explicit_rational_polynomial: bool) -> St
                     RationalPolynomialPrinter {
                         poly: &r,
                         opts: PrintOptions {
-                            terms_on_new_line: false,
-                            color_top_level_sum: false,
-                            color_builtin_symbols: false,
-                            print_finite_field: false,
                             explicit_rational_polynomial,
-                            symmetric_representation_for_finite_field: false,
-                            number_thousands_separator: None,
-                            multiplication_operator: '*',
-                            square_brackets_for_function: false,
-                            num_exp_as_superscript: false,
-                            latex: false,
+                            ..PrintOptions::mathematica()
                         },
                         add_parentheses: false
                     }
@@ -114,17 +105,8 @@ fn simplify(input: String, prime: i64, explicit_rational_polynomial: bool) -> St
                         RationalPolynomialPrinter {
                             poly: &rf,
                             opts: PrintOptions {
-                                terms_on_new_line: false,
-                                color_top_level_sum: false,
-                                color_builtin_symbols: false,
-                                print_finite_field: false,
                                 explicit_rational_polynomial,
-                                symmetric_representation_for_finite_field: false,
-                                number_thousands_separator: None,
-                                multiplication_operator: '*',
-                                square_brackets_for_function: false,
-                                num_exp_as_superscript: false,
-                                latex: false,
+                                ..PrintOptions::mathematica()
                             },
                             add_parentheses: false
                         }
@@ -146,17 +128,8 @@ fn simplify(input: String, prime: i64, explicit_rational_polynomial: bool) -> St
                         RationalPolynomialPrinter {
                             poly: &rf,
                             opts: PrintOptions {
-                                terms_on_new_line: false,
-                                color_top_level_sum: false,
-                                color_builtin_symbols: false,
-                                print_finite_field: false,
                                 explicit_rational_polynomial,
-                                symmetric_representation_for_finite_field: false,
-                                number_thousands_separator: None,
-                                multiplication_operator: '*',
-                                square_brackets_for_function: false,
-                                num_exp_as_superscript: false,
-                                latex: false,
+                                ..PrintOptions::mathematica()
                             },
                             add_parentheses: false
                         }