ALLBRANCH _ _ _ _ _ _ _ _ _ _ _ _ switch
When allbranch is on, the operator solve selects all branches of solutions. When allbranch is off, it selects only the principal branches. Default is on.
solve(log(sin(x+3)),x); {X=2*ARBINT(1)*PI - ASIN(1) - 3, X=2*ARBINT(1)*PI + ASIN(1) + PI - 3} off allbranch; solve(log(sin(x+3)),x); X=ASIN(1) - 3
arbint(1) indicates an arbitrary integer, which is giv en a unique identifier by REDUCE, showing that there are infinitely many solutions of this type. When allbranch is off, the single canonical solution is given.