Skip to content

Typo in comments #5

@asmeurer

Description

@asmeurer

At

-- NOTE: It is important that these rules should fire after the distributivity
it says

-- NOTE: It is important that these rules should fire after the distributivity
-- rules.  This ensures that
--
-- > x*x+x*y
--
-- gets simplified to
--
-- > x*(x+y)
--
-- rather than 
--
-- > x+x+x*y

Assumedly this should say 2*x + x*y, since x*x != x+x.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions