Skip to content

Incorrect documentation for check_point_order_equals_group_order #167

@tjade273

Description

@tjade273

In the documentation for check_point_order_equals_group_order,

/// P ≠ 0 ∧ qP ≠ 0

should presumably read

/// P ≠ 0 ∧ qP = 0

The implementation appears to be correct, so just a simple doc fix should suffice.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    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