On 3 déc. 2009, at 18:12, Hans Hagen wrote:
> there will be a tracing mechanism in mkiv
>
> Hans
Many thanks Hans for your answer.
For the time being I found a solution, which is far from being optimal for
visualizing references to equations, but is acceptable for now (actually for
writing math articles I still use only mkii).
In case others would need such a workaround, I give an example below.
Have a nice week-end.
Best regards: OK
%%% begin show-references.tex
\enableregime[utf]
\setupformulas[way=bysection]
%% defining \proclaim which is built in Plain-teX
%% but has disappeared from ConTeXt
\defineenumeration[proclaim]
[text=,
style=slanted,
title=yes,
titleleft=,
titleright=,
location=serried,
width=fit,
right={.~}]
\setupnumber[proclaim][way=bysection,numbersection=yes]
%% end definition \proclaim
% Defining \eqref and \lemref
% all equation references should be like eq:something
\def\eqref#1{(\in[eq:#1])}
% all proposition references should be like lem:something
\def\lemref#1{\in[lem:#1]}
% in order to visualize the references when
% proof reading we add these commands
% to see the references in the margins one has to say
% \enablemode[temporary]
\def\showeqref#1{\doifmode{temporary}{\inright{\ttxx #1}}}
\def\showlemref#1{\doifmode{temporary}{\inleft{\ttxx #1}}}
\enablemode[temporary]
\starttext
\title{Showing the cross references}
\blank[2*big]
\section{Introduction}
In this paper we are interested in the study of the following Schrödinger
system of equations: find an infinite sequence
$(\lambda_{m},\phi_{m})_{m\geq1}$ and a potential $V$ satisfying
\showeqref{Eigen, Potential}
\placeformula
\startformula
\startalign[n=3]
\NC {-1\over 2} \Delta \phi_{m} + V\phi_{m} \NC = \lambda_{m}\phi_{m}
\NC \quad\mbox{in }\, \Omega \NR[eq:Eigen]
\NC - \Delta V \NC = \sum_{m=1}^{\infty}\rho_{m}|\phi_{m}|^2
\NC \quad\mbox{in }\, \Omega \NR[eq:Potential]
\stopalign
\stopformula
Our main result is the following:
\startproclaim[lem:MainThm]{Theorem}
\showlemref{MainThm}
The Schrödinger-Poisson system of equations \eqref{Eigen}--\eqref{Potential}
has a solution obtained as the minimum of the functional $J$.
\stopproclaim
\input knuth.tex
\blank
The proof of theorem \lemref{MainThm} will be given later\dots
\stoptext
%%% en show-references.tex
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___________________________________________________________________________________
