Francesco Bonazzi
Francesco Bonazzi
Currently arrays in _sympy.tensor.array_ use `__mul__` only for array-scalar multiplication, raising an exception on array-array products. Should the asterisk `*` handle array-array products as a generalization of matrix multiplications? That...
## Feature suggestion **Detailed Description** When the Android phone is being used as HotSpot, it creates a WiFi that other devices can use to connect to the internet through the...
I have started an initial draft for a C++ code generator targeting SymEngine for the RUBI integration rules: https://github.com/HPAC/matchpy/pull/51 Hopefully it will soon be able to generate a decision tree...
This example shows how two matching patterns can be represented by a decision tree in SymEngine. The patterns are `x**w` and `y`, where `w` is a wildcard. This example explicitly...
This is not supposed to be merged. These are algorithms needed for the commutative matcher of MatchPy. We will need these algorithms to port RUBI into C++. Class `BipartiteGraph` was...
Mathematica has [FreeQ](https://reference.wolfram.com/language/ref/FreeQ.html) to test whether an expression contains a symbol. This is very useful in pattern matching for equations as you can specify that, for example, in `a *...
When using the `optional=value` argument in _Wildcard_, one can specify which value to get in case no matching is found. The value has to be given for every wildcard. In...
Calling `sorted( )` in https://github.com/HPAC/matchpy/blob/5cae3f275e3a1f725518516bf3c700dc3be03a56/matchpy/functions.py#L87 fails with SymPy, as SymPy objects are not comparable with operators (`=`). Operators are overloaded in SymPy to create instances of inequality objects. SymPy has...
I have translated some parts of MatchPy into C++. I am finding difficulties implementing the type `Union[TLeft, TRight]`. I could use C++17 and `variant`, but this would break compatibility with...
### ANNOUNCEMENT: I have ported parts of MatchPy into C++: https://github.com/symengine/symengine/pull/1497 - `symengine` library has been used for expression trees, - only the parts of MatchPy needed by the generated...