Skip to content

single_positive_root_of_cubic_equation fails with square equation #27

Open
Open
single_positive_root_of_cubic_equation fails with square equation#27
Labels
bugSomething isn't working

Description

@orting
orting
opened on May 21, 2024

single_positive_root_of_cubic_equation(0, 1, 0, - 9),

fails with

mathlib.C:196: assertion 'y3 >= 0' failed in single_positive_root_of_cubic_equation

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions