src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public boolean isCanonicalBasis() {
        ImplicationalSystem cb = new ImplicationalSystem(this);
        cb.makeCanonicalBasis();
        return this.isIncludedIn(cb) && cb.isIncludedIn(this);
    }
/**
     * Returns true if this component is equal to its canonical basis.
     *
     * The canonical basis is computed before to be compare with this component.
     *
     * This treatment is performed in (|Sigma||S|cl) where O(cl) is the
     * computation of a closure.
     *
     * @return true if this component is equal to its canonical basis.
     */
Returns true if this component is equal to its canonical basis.
The canonical basis is computed before to be compare with this component.

This treatment is performed in (|Sigma||S|cl) where O(cl) is the
computation of a closure.

@return true if this component is equal to its canonical basis.
Returns true if this component is equal to its canonical basis . The canonical basis is computed before to be compare with this component . This treatment is performed in ( |Sigma||S|cl ) where O ( cl ) is the computation of a closure . @return true if this component is equal to its canonical basis .
public boolean isCanonicalBasis() {
        ImplicationalSystem cb = new ImplicationalSystem(this);
        cb.makeCanonicalBasis();
        return this.isIncludedIn(cb) && cb.isIncludedIn(this);
    }
public boolean isCanonicalBasis ( ) { ImplicationalSystem cb = new ImplicationalSystem ( this ) ; cb . makeCanonicalBasis ( ) ; return this . isIncludedIn ( cb ) && cb . isIncludedIn ( this ) ; }
Returns true if this component is equal to its canonical basis.
Returns true if this component is equal to its canonical basis .