From - Wed Oct 10 17:00:55 2001
Return-Path: <ingvast@md.kth.se>
Received: from lucifer.md.kth.se (lucifer.md.kth.se [130.237.57.64]) by
    nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id f9AF0aN32341 for
    <metafont@ens.fr>; Wed, 10 Oct 2001 17:00:37 +0200 (CEST)
Received: from md.kth.se (IDENT:ingvast@dragon.md.kth.se [130.237.59.245])
    by lucifer.md.kth.se (8.9.3/8.9.3) with ESMTP id QAA22831 for
    <metafont@ens.fr>; Wed, 10 Oct 2001 16:59:29 +0200 (MET DST)
Sender: ingvast@md.kth.se
Message-Id: <3BC46251.2141F72C@md.kth.se>
Date: Wed, 10 Oct 2001 16:59:29 +0200
From: Johan Ingvast <ingvast@md.kth.se>
X-Mailer: Mozilla 4.78 [en] (X11; U; Linux 2.2.14-5.0smp i686)
X-Accept-Language: en
Mime-Version: 1.0
To: metafont@ens.fr
Content-Type: multipart/alternative;
    boundary="------------4BC863CB9FBB1401BF8B46CD"
X-Virus-Scanner: AMaVis 0.2.0-pre6 / Virus Scan
X-Loop: metafont@nef.ens.fr
X-Sequence: 490
Precedence: list
Subject: [metafont] Metapost: black line in margin from mproof


--------------4BC863CB9FBB1401BF8B46CD
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Hi
I run metapost a lot and am very pleased with it, especially the
possibility to mix graphics and math symbols.
But sometimes I get fat a line in the rigth margin as a result from
mproof, for instance
    >tex mproof fig.1 && dvips mproof.dvi -o mproof.ps

It seems it's because the lines I try to write becomes too long,  (I get
an error message saying something about too long lines)
I guess it's because something in tex that does it.
How can I get around it?

/johan


PS Example of a mpost script generating the error:
beginfig(1);
        label.urt(btex
                \vbox {
                        \hbox { At time $t=0$ when foot lifts: }
                        \hbox{ ~ $ \phi_0 = \phi_{g0} - \chi_0 $ }
                        \hbox { ~ }
                        \hbox { ~ }
                        \hbox{ ~ $ \phi = \left ( \phi_{g0} - \chi_0
\right ) \cosh t $ }
                        \hbox{ ~ $ \phi_1 = \left ( \phi_{g0} - \chi_0
\right ) \cosh t_1 $ }
                        \hbox { ~ }
                        \hbox { At time $t=t_1$ when foot lands: }
                        \hbox{ ~ $ \phi_{g1} = \phi_{1} + \chi_1 = $ }
                        \hbox{ ~ ~ $ = \left ( \phi_{g0}-\chi_0 \right )
\cosh t_1 +\chi_0 -A_\chi \left ( 1 -\cos \Omega t \right ) $ }
                } etex, (0,0)*mm);
        currentpicture:=currentpicture scaled 2.5;
endfig;


--
========================================================
Johan Ingvast, PhD student
Department of Machine Design, Royal Institute of Technology, Sweden
http:/www.md.kth.se, http:/www.md.kth.se/~cas   <--- Walking robot proj
tel +46 (0)8 790 95 36  mob. +46 (0)70 34 34 498
========================================================



--------------4BC863CB9FBB1401BF8B46CD
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit

<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
Hi
<br>I run metapost a lot and am very pleased with it, especially the possibility
to mix graphics and math symbols.
<br>But sometimes I get fat a line in the rigth margin as a result from&nbsp;
mproof, for instance&nbsp;<br>
&nbsp;&nbsp;&nbsp; >tex mproof fig.1 &amp;&amp; dvips mproof.dvi -o mproof.ps
<p>It seems it's because the lines I try to write becomes too long,&nbsp;
(I get an error message saying something about too long lines)
<br>I&nbsp;guess it's because something in tex that does it.
<br>How can I get around it?
<p>/johan
<br>&nbsp;
<p>PS Example of a mpost script generating the error:
<br>beginfig(1);
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; label.urt(btex
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\vbox {
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox { At time $t=0$ when foot lifts: }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox{ ~ $ \phi_0 = \phi_{g0} - \chi_0 $ }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox { ~ }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox { ~ }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox{ ~ $ \phi = \left ( \phi_{g0} - \chi_0 \right ) \cosh t $ }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox{ ~ $ \phi_1 = \left ( \phi_{g0} - \chi_0 \right ) \cosh t_1 $ }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox { ~ }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox { At time $t=t_1$ when foot lands: }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox{ ~ $ \phi_{g1} = \phi_{1} + \chi_1 = $ }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
\hbox{ ~ ~ $ = \left ( \phi_{g0}-\chi_0 \right ) \cosh t_1 +\chi_0 -A_\chi
\left ( 1 -\cos \Omega t \right ) $ }
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
} etex, (0,0)*mm);
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; currentpicture:=currentpicture
scaled 2.5;
<br>endfig;
<br>&nbsp;
<pre>--&nbsp;
========================================================
Johan Ingvast, PhD student
Department of Machine Design, Royal Institute of Technology, Sweden
<A HREF="http:/www.md.kth.se">http:/www.md.kth.se</A>, <A HREF="http:/www.md.kth.se/~cas">http:/www.md.kth.se/~cas</A>&nbsp;&nbsp; &lt;--- Walking robot proj
tel +46 (0)8 790 95 36&nbsp; mob. +46 (0)70 34 34 498
========================================================</pre>
&nbsp;</html>

--------------4BC863CB9FBB1401BF8B46CD--


From - Wed Oct 10 22:41:12 2001
Return-Path: <luecking@uark.edu>
Received: from mail.uark.edu (mail.uark.edu [130.184.5.107]) by nef.ens.fr
    (8.10.1/1.01.28121999) with ESMTP id f9AKeuN67106 for <metafont@ens.fr>;
    Wed, 10 Oct 2001 22:40:59 +0200 (CEST)
Received: from comp.uark.edu ([130.184.5.197]) by mail.uark.edu (Netscape
    Messaging Server 4.15) with ESMTP id GL0C4602.OEB; Wed, 10 Oct 2001
    15:40:54 -0500
Received: (from luecking@localhost) by comp.uark.edu (8.11.6/8.11.6) id
    f9AKeqJ14803; Wed, 10 Oct 2001 15:40:52 -0500 (CDT)
Date: Wed, 10 Oct 2001 15:40:52 -0500 (CDT)
From: "Daniel Luecking" <luecking@uark.edu>
To: Johan Ingvast <ingvast@md.kth.se>
Cc: <metafont@ens.fr>
Subject: Re: [metafont] Metapost: black line in margin from mproof
In-Reply-To: <3BC46251.2141F72C@md.kth.se>
Message-Id: <Pine.SOL.4.33.0110101537170.13958-100000@comp.uark.edu>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Virus-Scanner: AMaVis 0.2.0-pre6 / Virus Scan
X-Loop: metafont@nef.ens.fr
X-Sequence: 491
Precedence: list

On Wed, 10 Oct 2001, Johan Ingvast wrote:

> Hi
> I run metapost a lot and am very pleased with it, especially the
> possibility to mix graphics and math symbols.
> But sometimes I get fat a line in the rigth margin as a result from
> mproof, for instance
>     >tex mproof fig.1 && dvips mproof.dvi -o mproof.ps
>
> It seems it's because the lines I try to write becomes too long,  (I get
> an error message saying something about too long lines)
> I guess it's because something in tex that does it.
> How can I get around it?

Edit mproof.tex, adding
  \overfullrule=0pt
near the top. TeX may still complain that the line is too long, but the
rule it places to mark the overfull line will have width 0pt and be
invisible.


-- 
Dan Luecking                           Dept. of Mathematical Sciences
luecking@uark.edu                      University of Arkansas
http://comp.uark.edu/~luecking/        Fayetteville, AR 72101


From - Sun Oct 28 03:44:58 2001
Return-Path: <laurent@math.toronto.edu>
Received: from coxeter.math.toronto.edu (coxeter.math.toronto.edu
    [128.100.68.3]) by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id
    f9S2inl37437 for <metafont@ens.fr>; Sun, 28 Oct 2001 03:44:49 +0100 (CET)
Received: (from laurent@localhost) by coxeter.math.toronto.edu
    (8.11.0/8.11.0/UTMath 1.0) id f9S2ihM94458; Sat, 27 Oct 2001 22:44:43
    -0400
Date: Sat, 27 Oct 2001 22:44:43 -0400
From: Larry Siebenmann <laurent@math.toronto.edu>
Message-Id: <200110280244.f9S2ihM94458@coxeter.math.toronto.edu>
To: Lars.Hellstrom@math.umu.se, beebe@math.utah.edu, lcs@math.toronto.edu,
    metafont@ens.fr
X-Virus-Scanner: AMaVis 0.2.0-pre6 / Virus Scan
X-Loop: metafont@nef.ens.fr
X-Sequence: 492
Precedence: list
Subject: [metafont] does MF draw NURBs ??



Here is a metafont related question from the TeX fonts 
list <tex-fonts@math.utah.edu>.

Nelson Beebe <beebe@math.utah.edu> wrote:

 NB> NURB means non-uniform rational B-spline: 
 > this is a [parameterised] curve
 > representation using a ratio of two polynomials.  Its primary
 > advantage over simple polynomial representations (which includes all
 > polynomial splines) is that the conic sections (circle, ellipse,
 > hyperbola, and parabola) can all be represented exactly.

and Lars Helstrom <Lars.Hellstrom@math.umu.se> 
replied with a quiery:

 LH> Metafont is usually drawing by moving an elliptic pen along a path 
 > which is a cubic spline, thus blackening an area whose outline is 
 > not a cubic spline. With Nelson's message in mind, it could however 
 > be worth investigating whether the outline would be a NURBS.

Is the answer (with proof:=) known to the experts here?

Cheers

Laurent S.


