Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

extended simplify function rules to include fractions with coefficients #2604

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

extended simplify function rules to include fractions with coefficients #2604

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 10 additions & 1 deletion src/function/algebra/simplify.js
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -495,8 +495,17 @@ export const createSimplify = /* #__PURE__ */ factory(name, dependencies, (
assuming: { multiply: { associative: true } }
},

{ l: 'n1/(-n2)', r: '-n1/n2' }
{ l: 'n1/(-n2)', r: '-n1/n2' },

{
s: '(c1*v+c2)/c3 -> ((c1*v)/c3)+c2/c3',
assuming: { multiply: { associative: true } }
},

{
s: '(-(c1*v)-c2)/c3 -> (-c1/c3)*v+-(c2/c3)',
assuming: { multiply: { associative: true } }
}
]
Copy link
Collaborator

Choose a reason for hiding this comment

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

Thanks for finding these expressions that help with #2594. I am slightly confused by them -- there are two sign variants, but the sign is changed in two places. Are the other two possibilities where only one sign is changed instead of both needed? Why not? (Also I am unclear on the need for associativity in this identity; it seems to use only the distributive property, but I think we always assume that, I don't think there is a separate assumption for that.) Conversely, is there any way that these expressions can be merged into one -- that would help slow the ongoing growth of complication in simplify. I know there is a step where signs are merged into constants -- could this simplification possibly work with a single sign variant at a differentlocation? As another idea, would casting the rule as

(c1*v +c2)/c3 -> ((c1/c3)*v + c2/c3)

(this would now need a commutative assumption) perform any better, as it coalesces constants? Just some thoughts, I haven't tried any alternatives. Thanks for considering.

Copy link
Collaborator

Choose a reason for hiding this comment

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

Ah, sorry, I hadn't focused entirely on Jos's feedback, which is excellent. Did you try his suggestion (n1+c2)/c3 -> n1/c3 + c2/c3? That might work well, especially in a place where all signs have been absorbed into constants so that there isn't any such thing as n1-c2 at that point. That might avoid the need for a function as Jos suggests because perhaps all of the "other stuff" that could be in the numerator that Jos mentions could be absorbed into the n1 term. Or possibly it could help to write it as (c2+n1)/c3 -> c2/c3 + n1/c3 because the simplifier prefers to match on the beginnings of terms? It is true and unfortunate that its operation is a bit finicky... Thanks for following up on these ideas if you can, and I was just about to add the comment about tests when I saw Jos already had.


/**
Expand Down