src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public boolean isCanonicalDirectBasis() {
        ImplicationalSystem cdb = new ImplicationalSystem(this);
        cdb.makeCanonicalDirectBasis();
        return this.isIncludedIn(cdb) && cdb.isIncludedIn(this);
    }
/**
     * Returns true if this component is equal to its canonical direct basis.
     *
     * The canonical direct basis is computed before to be compare with this
     * component.
     *
     * This test is performed in O(d|S|), where d corresponds to the number of
     * rules that have to be added by the direct treatment. This number is
     * exponential in the worst case.
     *
     * @return true if this component is equal to its canonical direct basis.
     */
Returns true if this component is equal to its canonical direct basis.
The canonical direct basis is computed before to be compare with this
component.

This test is performed in O(d|S|), where d corresponds to the number of
rules that have to be added by the direct treatment. This number is
exponential in the worst case.

@return true if this component is equal to its canonical direct basis.
Returns true if this component is equal to its canonical direct basis . The canonical direct basis is computed before to be compare with this component . This test is performed in O ( d|S| ) where d corresponds to the number of rules that have to be added by the direct treatment . This number is exponential in the worst case . @return true if this component is equal to its canonical direct basis .
public boolean isCanonicalDirectBasis() {
        ImplicationalSystem cdb = new ImplicationalSystem(this);
        cdb.makeCanonicalDirectBasis();
        return this.isIncludedIn(cdb) && cdb.isIncludedIn(this);
    }
public boolean isCanonicalDirectBasis ( ) { ImplicationalSystem cdb = new ImplicationalSystem ( this ) ; cdb . makeCanonicalDirectBasis ( ) ; return this . isIncludedIn ( cdb ) && cdb . isIncludedIn ( this ) ; }
Returns true if this component is equal to its canonical direct basis.
Returns true if this component is equal to its canonical direct basis .