Skip to content

Rule refactor part1#1866

Merged
rocky merged 8 commits into
masterfrom
Rule-refactor-part1
Jul 20, 2026
Merged

Rule refactor part1#1866
rocky merged 8 commits into
masterfrom
Rule-refactor-part1

Conversation

@rocky

@rocky rocky commented Jul 19, 2026

Copy link
Copy Markdown
Member
  • Class mathics.core.rules.Rule is now mathics.core.RewriteRule.
  • Add a is_rule() function to replace expr.has_form(...)
  • Remove the system parameter on Rule creation.
  • Go over docstring comments.

rocky and others added 8 commits July 19, 2026 15:58
Do we really need this? If so, why?
Class mathics.core.rules.Rule is now mathics.core.RewriteRule.

Add a is_rule() function to replace expr.has_form(...)

Remove the "system" parameter on Rule creation.

Go over docstring comments.
@rocky
rocky requested a review from mmatera July 20, 2026 00:11

@mmatera mmatera left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@rocky

rocky commented Jul 20, 2026

Copy link
Copy Markdown
Member Author

There will be more. A lot more. Sigh.

@rocky
rocky merged commit 3d5001a into master Jul 20, 2026
18 checks passed
@rocky
rocky deleted the Rule-refactor-part1 branch July 20, 2026 00:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants