[WIP] Condition inside rule match process, not just at the end#772

Draft

Bumblebee00 wants to merge 26 commits intoJuliaSymbolics:masterfrom

Bumblebee00:condition_inside_rule

Commits on Aug 8, 2025

first version, really caothic, and doesn't work with defslot powers
Bumblebee00
committed
second version, really caothic, but works with defslotpowers
Bumblebee00
committed
fix typo
Bumblebee00
committed
operation + and * are always commutative now
Bumblebee00
committed
added some tests of commutative operations
Bumblebee00
committed
fixed bug on defslot functionality
Bumblebee00
committed
added defslot on operations with multiple arguments
Bumblebee00
committed
moved the commutativiry checks to only acrule macro
Bumblebee00
committed
negative exponent feature is done in a different way, more clean
Bumblebee00
committed
fixed failing ci tests
Bumblebee00
committed
added tests with deflost in operation call with more than two arguments
Bumblebee00
committed
now rationals can be used in rules
Bumblebee00
committed
created smrule (sum multiplication rule) macro
Bumblebee00
committed
enhance commutative term matcher to validate operation type
Bumblebee00
committed
fixed bug in defslot code and improved performance
Bumblebee00
committed
improved negative exponent pattern matching. now it matches also for expressions like (1/...)^(...)
Bumblebee00
committed
changed order of checks in pow term matcher
Bumblebee00
committed
added match for exp and sqrt calls
Bumblebee00
committed
removed smrule macro and added commutativity checks to the rule macro
Bumblebee00
committed
added commutativity checks also for segment matcher
Bumblebee00
committed
fixed predicates with defslots
Bumblebee00
committed
now the pattern ~x^~m matches 1/x with m=-1
Bumblebee00
committed
added tests for power match with sqrt and exp functions
Bumblebee00
committed
refactor
Bumblebee00
committed
now ...^(1//2) matches in the rule with sqrt, and ℯ^... matches in the rule with exp
Bumblebee00
committed
first prototype
Bumblebee00
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

[WIP] Condition inside rule match process, not just at the end#772

[WIP] Condition inside rule match process, not just at the end#772
Bumblebee00 wants to merge 26 commits intoJuliaSymbolics:masterfrom
Bumblebee00:condition_inside_rule

Commits on Aug 8, 2025

first version, really caothic, and doesn't work with defslot powers

second version, really caothic, but works with defslotpowers

fix typo

operation + and * are always commutative now

added some tests of commutative operations

fixed bug on defslot functionality

added defslot on operations with multiple arguments

moved the commutativiry checks to only acrule macro

negative exponent feature is done in a different way, more clean

fixed failing ci tests

added tests with deflost in operation call with more than two arguments

now rationals can be used in rules

created smrule (sum multiplication rule) macro

enhance commutative term matcher to validate operation type

fixed bug in defslot code and improved performance

improved negative exponent pattern matching. now it matches also for expressions like (1/...)^(...)

changed order of checks in pow term matcher

added match for exp and sqrt calls

removed smrule macro and added commutativity checks to the rule macro

added commutativity checks also for segment matcher

fixed predicates with defslots

now the pattern ~x^~m matches 1/x with m=-1

added tests for power match with sqrt and exp functions

refactor

now ...^(1//2) matches in the rule with sqrt, and ℯ^... matches in the rule with exp

first prototype

[WIP] Condition inside rule match process, not just at the end#772Bumblebee00 wants to merge 26 commits intoJuliaSymbolics:masterJuliaSymbolics/SymbolicUtils.jl:masterfrom Bumblebee00:condition_inside_ruleBumblebee00/SymbolicUtils.jl:condition_inside_ruleCopy head branch name to clipboard

Commits

Commits on Aug 8, 2025

[WIP] Condition inside rule match process, not just at the end#772
Bumblebee00 wants to merge 26 commits intoJuliaSymbolics:masterfrom
Bumblebee00:condition_inside_rule