wkehowski

25 Reputation

3 Badges

12 years, 8 days

MaplePrimes Activity


These are Posts that have been published by wkehowski

I think a new integer subtype is needed: integer greater than one, gtoint.

isgto := proc(x::anything)
  local X;
  X:=x;
  return type(X,integer) and (X>1);
end:

AddType(gtoint,z->not isgto(z));

Page 1 of 1