I am asking because I could neither find a type nor a property for nonzero integers. However, with the assume facility it is possible to combine properties 

assume(x<>0,x::integer)
about(x)
Originally x, renamed x~:
  is assumed to be: AndProp(integer,OrProp(RealRange(-infinity,Open(0)),RealRange(Open(0),infinity)))

Or:

restart;
assume(x::Non(0),x::integer)
about(x)
Originally x, renamed x~:
  is assumed to be: AndProp(integer,OrProp(RealRange(-infinity,Open(0)),RealRange(Open(0),infinity)))

Or:

assume(x::NonZero,x::integer)
about(x)
Originally x, renamed x~:
  is assumed to be: AndProp(integer,OrProp(RealRange(-infinity,Open(0)),RealRange(Open(0),infinity)))

Non(0) is also accepted by the type command which raises the question whether Non(0) is a property, a type or both.

On the other hand type does not recognise NonZero but "::NonZero" is accepted in the assume command (note the :: which is the operator for type definitions). 

The function Non, which is also listed under types, is also accepted in the context of properties. This is somewhat confusing since types and properties are different in nature. Can somone clarify?

By the way, the above examples also work when Non is replaced with Not because they are equivalent. However showstat(Non) works but showstat(Not) throws an error.

Not able to make odetest give zero on this Maple solution to this first order ode.

So not sure if solution is correct or not, as can't also get same solution by hand.

Any one can find a method or way to verify this solution is correct?

odetest says it satisfies the IC but not the ode itself.

Below is worksheet. Tried with Maple 2026 and 2025.2 both give same solution.

Site will not let me upload worksheet. Here is code

ode:=diff(diff(y(x),x),x)+sin(y(x)) = 0;
IC:=y(infinity) = Pi;
sol:=[dsolve([ode,IC])];

the_residue:=odetest(sol[1],[ode,IC]);
the_residue:=odetest(sol[2],[ode,IC]);

Tried many things, including different assumptions, but can't get zero.

There seems to be a regression in Maple 2026 in the XMLTools:-ParseFile function.

As Maple2026 is not yet in the list of products to be chosen, I have added it in the subject.

Error, (in XMLTools:-ParseFile) invalid input: too many and/or wrong type of arguments passed to XMLTools:-NSXML:-Parser:-ParseFile; first unused argument is prolog = true

The test file is right from the help related to ParseFile.
Test_XML.mw