You are right on "/..", but "(4=5)=/.." does work as "isXPath1".
DataPower XSLT 1.0 processor agrees with Saxon 6.5.5 XSLT 1.0 processor.
So it seems my understanding that not(/...) is equivalent to (4=5)=/..
is wrong ...
What is the difference?
Or maybe both, Saxon 6.5.5 and DataPower processor have a bug?
$ java -jar ~/Desktop/saxon9-0-0-8/saxon9.jar dummy.xml xpv.xsl; echo
true
false
$ java -jar ~/Desktop/saxon6-5-5/saxon.jar dummy.xml xpv.xsl; echo
true
true
$ xj xpv.xsl dummy.xml
true
true
$
$ cat xpv.xsl
<xsl:stylesheet version="2.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
>
<xsl:output omit-xml-declaration="yes" />
<xsl:template match="/">
<xsl:value-of select="not(/..)"/><xsl:text> </xsl:text>
<xsl:value-of select="(4=5)=/.."/><xsl:text> </xsl:text>
</xsl:template>
</xsl:stylesheet>
$
Mit besten Gruessen / Best wishes,
Hermann Stamm-Wilbrandt
Compiler Level 3 support & Fixpack team lead
IBM DataPower Gateways (⬚ᵈᵃᵗᵃ / ⣏⠆⡮⡆⢹⠁⡮⡆⡯⠂⢎⠆⡧⡇⣟⡃⡿⡃)
https://www.ibm.com/developerworks/mydeveloperworks/blogs/HermannSW/
https://twitter.com/HermannSW/ https://stamm-wilbrandt.de/GraphvizFiddle/
----------------------------------------------------------------------
IBM Deutschland Research & Development GmbH
Vorsitzende des Aufsichtsrats: Martina Koederitz
Geschaeftsfuehrung: Dirk Wittkopp
Sitz der Gesellschaft: Boeblingen
Registergericht: Amtsgericht Stuttgart, HRB 243294 
David Carlisle ---19.12.2015 15:32:07---> not(/..) > This expression is true for XPath 2.0 and false for XPath 1.0.
From: David Carlisle <d.p.carlisle@gmail.com>
To: Hermann Stamm-Wilbrandt/Germany/IBM@IBMDE
Cc: "xml-dev@lists.xml.org" <xml-dev@lists.xml.org>
Date: 19.12.2015 15:32
Subject: Re: [xml-dev] isXPath1 / isXPath2 -- not(/..)