Symbolica 0.13.0

Symbolica 0.13.0 as been released!

Notable changes

• Real root isolation (see here
• LLL basis reduction (see here)
• PSLQ for integer relations (see here)
• Import/export of expressions from Python (see here)
• Cyclesymmetry taken into account during pattern matching
• Jacobian and gradients functions for vectors

Symbolica 0.12.0

Symbolica 0.12.0 has been released!

Notable changes

• User-defined normalization functions (see here)
• Arbitrary depth dual numbers (see here)
• Non-linear system solving using Newton's method (see here)
• symb!() and fun!() improvements for faster symbol and function construction (see here)
• A vector type (Rust only for now)

Symbolica v0.11.0

Symbolica 0.11.0 is released 🎊 It's quite feature-packed and has many ergonomic improvements:

Notable changes

• Graph generation
• Graph API for Pyton
• Native Windows support! You can now pip install symbolica on native Windows.
• Introduce short-hand notation S, E, N to define symbols, expressions and numbers in Python
• Fused symbols and symbol
• Right-hand side of replacement can now be a function
• Pattern filter based on the matches so far
• Determine size of automorphism group of graphs
• Support antisymmetric tensor canonization

Upgrade notice

• Expression.symbols has been deprecated, you can now always use Expression.symbol. You can also just write S.
• The RHS of replacements is no longer a pattern and requires an extra into() to convert from a pattern
• The match conditions also require an extra into() to support match stack filter functions

v0.10.0

Symbolica 0.10.0 is released!

Notable changes

• Tensor dummy index symmetrization
• Graph canonization, with support for directed edges and vertex and edge colours
• Add support for cyclesymmetric functions
• ASM support for x86_64 Mac

Symbolica 0.9.0

Symbolica 0.9.0 is released!

Notable changes

• Optimized nested expression evaluation with C++ and ASM output modes
• Seamlessly load compiled evaluation library
• Add cycle-symmetrization transformer
• Improve Rust ergonomics

Symbolica 0.8.0

Symbolica 0.8.0 is released!

Notable changes

• Support for floating point coefficients, parsing of floats in standard and exp-notation
• Precision tracking floating point numbers
• Galois fields (also in Python API)
• Factorization of polynomials over Galois fields and algebraic numbers
• Extension of algebraic numbers, e.g. joining sqrt(2) and sqrt(3)
• Linearization transformer

Symbolica 0.7.0

Symbolica 0.7.0 is released!

License changes

• Non-commercial users are now allowed to run Symbolica on one core and instance per device for free without requiring a sign-up
• License keys will now work offline. Remember to update the key!

Notable changes

• Multiprecision floats can be used for evaluations
• Introduce error propagating float
• Series can now be constructed using a relative depth

Upgrade notice

• Offline keys have been deprecated
• rug::Float does not implement Real anymore. Use .into() to convert to the wrapper type Float that does operations that do not lose precision (see here)

Symbolica 0.6.0

Symbolica 0.6.0 is released!

Notable changes

• Multiple replacements at the same time (see here)
• cancel function that cancels common factors between numerators and denominators
• Arithmetical operator overloading for series and atoms
• Square brackets will be parsed as parentheses for functions

Upgrade note

• The coefficient_list function now handles multivariate polynomials and therefore its signature has changed

Symbolica 0.5.0

Symbolica 0.5.0 is released!

Notable changes

• Puiseux series expansion support with additional support for log(x)
• Term streaming for very large expressions
• Import/export of expressions and state (Rust only for now)
• Option to expand in particular variable

Upgrade note

• Define variables and symbols in Python API using symbol/symbols, instead of var/vars/,fun/funs
• Expressions are now callable and a function is created if the expression is a variable (see #api>python )

Symbolica 0.4.0

Symbolica 0.4.0 is released!

Notable changes

• Integration of polynomials and rational polynomials
• Level range restrictions for pattern matching
• Together and apart for expressions
• Simple algebraic number support
• Add dense univariate polynomial
• Add resultant function for fields and resultant_prs for rings
• Code coverage testing suite
• New Python API documentation

Upgrade note

• Rust users will have to replace the module representations by atom