This function tests whether the coefficients in an object of type CurveClassRepresentativeM0nbar are all nonnegative.
Warning: this function tests only the input representative of a curve class. That is, it answers whether the input is an effective expression, not whether there exists an effective expression equivalent to the input.
i1 : L1= { {{{2,1},{3},{4},{5}},-2}, {{{1,3},{2},{4},{5}},-7}, {{{1,4},{2},{3},{5}},1}}; |
i2 : C1=curveClassRepresentativeM0nbar(5,L1); |
i3 : isEffectiveExpression(C1) o3 = false |
i4 : L2={ {{{2,1},{3},{4},{5}},2}, {{{1,3},{2},{4},{5}},7}, {{{1,4},{2},{3},{5}},1}}; |
i5 : C2=curveClassRepresentativeM0nbar(5,L2); |
i6 : isEffectiveExpression(C2) o6 = true |
The object isEffectiveExpression is a method function.