[tex-live] Is TeXk from TeXlive 2003 TRIP certified?

[Petr Olsak]

Hello,

I have tried the TRIP test on TeXk binary from TeXlive 2003 for Linux
from DVD. IMHO, TeXk is not trip certified:

diff trip.log trip-ori.log | wc -l
   2711

The most common difference:

< l.150 ...illlstretch\vskip 1000pt\penalty-333\hbox
<                                                    to 23pt{} % output now
---
> l.150 ...1000pt\penalty-333\hbox
>                                  to 23pt{} % output now

Why this happened?

dvitype -dpi=72.27 -output-level=2 -page-start="*.*.*.*.*.*.*.*.*.*"\
  -max-pages=100000 -magnification=0 trip.dvi > trip.typ
diff trip.typ trip-ori.typ | grep totalpages
< maxv=1073741823, maxh=539754497, maxstackdepth=17, totalpages=14
> maxv=1073741823, maxh=539754497, maxstackdepth=17, totalpages=16

Why the TeXk have generated only 14 pages whereas Knuth's TeX
have generated 16 pages?

---------------------------------------------------------------

There is step by step my test:

cd triptrap
mv trip.typ trip-ori.typ
mv trip.log trip-ori.log

tex -ini
This is TeXk, Version 3.141592 (Web2C 7.5.2) (INITEX)
 %&-line parsing enabled.
 (/usr/local/texlive/texmf/web2c/cp8bit.tcx)
**
Please type the name of your input file.
**\input trip
(./trip.tex
! Bad character code (256).
<to be read again>
                   -
... etc.

tex -ini
This is TeXk, Version 3.141592 (Web2C 7.5.2) (INITEX)
 %&-line parsing enabled.
 (/usr/local/texlive/texmf/web2c/cp8bit.tcx)
** &trip  trip

------------------------------------------------------------

Why TeXk is not TRIP certified? Is it your intent?

I have found this problem during my test of CSTRIP
(see ftp://math.feld.cvut.cz/pub/cstex/base/cstrip.tar.gz).

I must say: "export LC_CTYPE=cs_CZ.ISO8859-2" before CSTRIP test
(the proclamated independence on locales is not realized in log
files!). Then "diff" on logs from CSTRIP is OK, but the new problem
occured:

------------------------------------------------------------

dvitype cstrip.dvi > cstrip.txt
diff cstrip.txt cstripd.vrf
1c1
< This is DVItype, Version 3.6 (Web2C 7.3.3.1)
---
> This is DVItype, Version 3.5 (Web2c 7.0)
9c9
< ' TeX output 2004.03.12:1317'
---
> ' TeX output 1998.11.01:1105'
45c45
< 157: x3 198986
---
> 157: w0 198985
81c81
< : x0 198986
---
> : w0 198985
117c117
< : x0 198986
---
> : w0 198985
... etc

-----------------------------------

Why the differences occured on the last decimal digit?

------------------------------------

Best regards

Petr Olsak