[NTG-context] bugs in math engine?

2009-05-15 Thread Oliver Buerschaper

Dear list,

the following are probably bugs in the new math engine as of  
yesterday's beta (2009.05.14 16:44):



1. The symbols for number sets in Cambria Math aren't taken from the  
double-struck variant.


---
\usetypescript[cambria]
\setupbodyfont[cambria]


\starttext

\math{\naturalnumbers}, \math{\integers}, \math{\rationals},  
\math{\reals}, \math{\complexes}, \math{\primes}


\stoptext
---


2. Vector arrows look somewhat strange in Cambria Math ... is this  
perhaps due to the font itself?


---
\usetypescript[cambria]
\setupbodyfont[cambria]


\starttext

The arrows should neither extend over the right bracket nor into the  
primes:


\startformula{}
[\alpha(\vec{k})\alpha(\vec{k}'),\alpha^\dagger(\vec{k}'')]
\stopformula

\stoptext
---


3. The command \implies is undefined (see previous posting).

---
\starttext

\startformula
A\implies B
\stopformula

\stoptext
---


Oliver
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-15 Thread Aditya Mahajan

On Fri, 15 May 2009, Oliver Buerschaper wrote:


Dear list,

the following are probably bugs in the new math engine as of yesterday's beta 
(2009.05.14 16:44):



1. The symbols for number sets in Cambria Math aren't taken from the 
double-struck variant.


Hans, please apply the following patch to math-def.mkiv

diff --git a/math-def.mkiv b/math-def.mkiv
index 31db66e..30beb5c 100644
--- a/math-def.mkiv
+++ b/math-def.mkiv
@@ -97,12 +97,12 @@
 \definemathcommand [tanh][nolop] {\mfunction{tanh}}
 \definemathcommand [tan] [nolop] {\mfunction{tan}}

-\definemathcommand [integers]{\mfunction{Z}}
-\definemathcommand [reals]   {\mfunction{R}}
-\definemathcommand [rationals]   {\mfunction{Q}}
-\definemathcommand [naturalnumbers]  {\mfunction{N}}
-\definemathcommand [complexes]   {\mfunction{C}}
-\definemathcommand [primes]  {\mfunction{P}}
+\definemathcommand [integers]{\mathblackboard{Z}}
+\definemathcommand [reals]   {\mathblackboard{R}}
+\definemathcommand [rationals]   {\mathblackboard{Q}}
+\definemathcommand [naturalnumbers]  {\mathblackboard{N}}
+\definemathcommand [complexes]   {\mathblackboard{C}}
+\definemathcommand [primes]  {\mathblackboard{P}}

 % using attributes

2. Vector arrows look somewhat strange in Cambria Math ... is this perhaps 
due to the font itself?


---
\usetypescript[cambria]
\setupbodyfont[cambria]


\starttext

The arrows should neither extend over the right bracket nor into the primes:

\startformula{}
  [\alpha(\vec{k})\alpha(\vec{k}'),\alpha^\dagger(\vec{k}'')]
\stopformula

\stoptext
---


I don't know whether the font or luatex/context is at fault.


3. The command \implies is undefined (see previous posting).


Hans, can we add this somewhere?

%D This is a temporary hack until we figure out how to do this correctly.

\unexpanded\def\implies{\mathrel{\;\Longrightarrow\;}}
\unexpanded\def\impliedby  {\mathrel{\;\Longleftarrow\;}}
\unexpanded\def\And{\mathrel{\;\internalAnd\;}}
\unexpanded\def\iff{\;\Longleftrightarrow\;}

Aditya
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-15 Thread Hans Hagen

Aditya Mahajan wrote:


Hans, please apply the following patch to math-def.mkiv


ok

-
  Hans Hagen | PRAGMA ADE
  Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
 tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
 | www.pragma-pod.nl
-
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-15 Thread Patrick Gundlach
Hi,

> We (Patrick, Mojca, and I) have discussed hosting a git repo on the
> garden. I do not think it was implemented. I am Ccing Patrick and
> Mojca, and maybe they can shed more light on the status of git server
> on the garden.

It is not implemented (yet). If someone can give me a strategy (pseudo
code welcome) which alpha/beta/stable to put into the repository this
should be quite easy to do.

Patrick
-- 
ConTeXt wiki and more: http://contextgarden.net
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-15 Thread Aditya Mahajan

On Fri, 15 May 2009, Patrick Gundlach wrote:


Hi,


We (Patrick, Mojca, and I) have discussed hosting a git repo on the
garden. I do not think it was implemented. I am Ccing Patrick and
Mojca, and maybe they can shed more light on the status of git server
on the garden.


It is not implemented (yet). If someone can give me a strategy (pseudo
code welcome) which alpha/beta/stable to put into the repository this
should be quite easy to do.


How about two branches: one for all officical stable releases, and one for 
all beta releases (from Hans's ftp server, synced periodically). I believe 
that alpha releases are rare enough to be ignored[1]. Unless disk space is 
a problem, I do not see a reason for not storing all betas. Official betas 
can be tagged with the release date and time.


Aditya

[1]: Actually, at least for this year, there have been more alpha releases 
than stable releases :-)

___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-15 Thread Patrick Gundlach
Hi Aditya (and others),

Aditya Mahajan  writes:

> How about two branches: one for all officical stable releases, and one
> for all beta releases (from Hans's ftp server, synced periodically). I
> believe that alpha releases are rare enough to be ignored[1]. Unless
> disk space is a problem, I do not see a reason for not storing all
> betas. Official betas can be tagged with the release date and time.

OK, thats what I had in mind. Perhaps Mojca can tell me where all the
files are on the server, if not I will find out by myself.

I promise I will give it a try next week sunday, until then I don't have
internet access (vacation :) and my battery from my notebook is almost
empty because I've forgot my power supply at home :-)


Patrick

-- 
ConTeXt wiki and more: http://contextgarden.net
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-20 Thread Oliver Buerschaper
1. The symbols for number sets in Cambria Math aren't taken from  
the double-struck variant.


Hans, please apply the following patch to math-def.mkiv

diff --git a/math-def.mkiv b/math-def.mkiv
index 31db66e..30beb5c 100644
--- a/math-def.mkiv
+++ b/math-def.mkiv
@@ -97,12 +97,12 @@
\definemathcommand [tanh][nolop] {\mfunction{tanh}}
\definemathcommand [tan] [nolop] {\mfunction{tan}}

-\definemathcommand [integers]{\mfunction{Z}}
-\definemathcommand [reals]   {\mfunction{R}}
-\definemathcommand [rationals]   {\mfunction{Q}}
-\definemathcommand [naturalnumbers]  {\mfunction{N}}
-\definemathcommand [complexes]   {\mfunction{C}}
-\definemathcommand [primes]  {\mfunction{P}}
+\definemathcommand [integers]{\mathblackboard{Z}}
+\definemathcommand [reals]   {\mathblackboard{R}}
+\definemathcommand [rationals]   {\mathblackboard{Q}}
+\definemathcommand [naturalnumbers]  {\mathblackboard{N}}
+\definemathcommand [complexes]   {\mathblackboard{C}}
+\definemathcommand [primes]  {\mathblackboard{P}}

% using attributes


Many thanks! Although this doesn't quite solve the bug yet, now I know  
where to look ...


Test case:

---
\starttext

\math{\primes P},
\math{\naturalnumbers N},
\math{\integers Z},
\math{\rationals Q},
\math{\reals R},
\math{\complexes C}

\stoptext
---

Proposed patch:

diff math-def.mkiv.orig math-def.mkiv
100,105c100,105
< \definemathcommand [integers]  {\mathblackboard{Z}}
< \definemathcommand [reals] {\mathblackboard{R}}
< \definemathcommand [rationals] {\mathblackboard{Q}}
< \definemathcommand [naturalnumbers]{\mathblackboard{N}}
< \definemathcommand [complexes] {\mathblackboard{C}}
< \definemathcommand [primes]{\mathblackboard{P}}
---
> \definemathcommand [integers]  {{\mathblackboard Z}}
> \definemathcommand [reals] {{\mathblackboard R}}
> \definemathcommand [rationals] {{\mathblackboard Q}}
> \definemathcommand [naturalnumbers]{{\mathblackboard N}}
> \definemathcommand [complexes] {{\mathblackboard C}}
> \definemathcommand [primes]{{\mathblackboard P}}

Hans, Aditya, does this make sense?

Oliver
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-20 Thread Aditya Mahajan

On Wed, 20 May 2009, Oliver Buerschaper wrote:


Proposed patch:

diff math-def.mkiv.orig math-def.mkiv
100,105c100,105
< \definemathcommand [integers]  {\mathblackboard{Z}}
< \definemathcommand [reals] {\mathblackboard{R}}
< \definemathcommand [rationals] {\mathblackboard{Q}}
< \definemathcommand [naturalnumbers]{\mathblackboard{N}}
< \definemathcommand [complexes] {\mathblackboard{C}}
< \definemathcommand [primes]{\mathblackboard{P}}
---

\definemathcommand [integers]  {{\mathblackboard Z}}
\definemathcommand [reals] {{\mathblackboard R}}
\definemathcommand [rationals] {{\mathblackboard Q}}
\definemathcommand [naturalnumbers]{{\mathblackboard N}}
\definemathcommand [complexes] {{\mathblackboard C}}
\definemathcommand [primes]{{\mathblackboard P}}


Hans, Aditya, does this make sense?


Yes, I should unlearn amsmath syntax at some stage.

Aditya
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-21 Thread Hans Hagen

Aditya Mahajan wrote:

On Wed, 20 May 2009, Oliver Buerschaper wrote:


Proposed patch:

diff math-def.mkiv.orig math-def.mkiv
100,105c100,105
< \definemathcommand [integers]  {\mathblackboard{Z}}
< \definemathcommand [reals] {\mathblackboard{R}}
< \definemathcommand [rationals] {\mathblackboard{Q}}
< \definemathcommand [naturalnumbers]{\mathblackboard{N}}
< \definemathcommand [complexes] {\mathblackboard{C}}
< \definemathcommand [primes]{\mathblackboard{P}}
---

\definemathcommand [integers]  {{\mathblackboard Z}}
\definemathcommand [reals] {{\mathblackboard R}}
\definemathcommand [rationals] {{\mathblackboard Q}}
\definemathcommand [naturalnumbers]{{\mathblackboard N}}
\definemathcommand [complexes] {{\mathblackboard C}}
\definemathcommand [primes]{{\mathblackboard P}}


Hans, Aditya, does this make sense?


Yes, I should unlearn amsmath syntax at some stage.


\unexpanded\def\mathscript{\setmathalphabet{script}}
\unexpanded\def\mathfraktur   {\setmathalphabet{fraktur}}
\unexpanded\def\mathblackboard{\setmathalphabet{blackboard}}

we can make these into

\unexpanded\def\mathscript#1{{\setmathalphabet{script}#1}}
\unexpanded\def\mathfraktur   #1{{\setmathalphabet{fraktur}#1}}
\unexpanded\def\mathblackboard#1{{\setmathalphabet{blackboard}#1}}

\unexpanded\def\mathsr{\setmathalphabet{script}}
\unexpanded\def\mathfr{\setmathalphabet{fraktur}}
\unexpanded\def\mathbb{\setmathalphabet{blackboard}}

does that make sense?


-
  Hans Hagen | PRAGMA ADE
  Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
 tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
 | www.pragma-pod.nl
-
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___


Re: [NTG-context] bugs in math engine?

2009-05-21 Thread Aditya Mahajan

On Thu, 21 May 2009, Hans Hagen wrote:


Aditya Mahajan wrote:

On Wed, 20 May 2009, Oliver Buerschaper wrote:


Proposed patch:

diff math-def.mkiv.orig math-def.mkiv
100,105c100,105
< \definemathcommand [integers]  {\mathblackboard{Z}}
< \definemathcommand [reals] {\mathblackboard{R}}
< \definemathcommand [rationals] {\mathblackboard{Q}}
< \definemathcommand [naturalnumbers]{\mathblackboard{N}}
< \definemathcommand [complexes] {\mathblackboard{C}}
< \definemathcommand [primes]{\mathblackboard{P}}
---

\definemathcommand [integers]  {{\mathblackboard Z}}
\definemathcommand [reals] {{\mathblackboard R}}
\definemathcommand [rationals] {{\mathblackboard Q}}
\definemathcommand [naturalnumbers]{{\mathblackboard N}}
\definemathcommand [complexes] {{\mathblackboard C}}
\definemathcommand [primes]{{\mathblackboard P}}


Hans, Aditya, does this make sense?


Yes, I should unlearn amsmath syntax at some stage.


\unexpanded\def\mathscript{\setmathalphabet{script}}
\unexpanded\def\mathfraktur   {\setmathalphabet{fraktur}}
\unexpanded\def\mathblackboard{\setmathalphabet{blackboard}}

we can make these into

\unexpanded\def\mathscript#1{{\setmathalphabet{script}#1}}
\unexpanded\def\mathfraktur   #1{{\setmathalphabet{fraktur}#1}}
\unexpanded\def\mathblackboard#1{{\setmathalphabet{blackboard}#1}}

\unexpanded\def\mathsr{\setmathalphabet{script}}
\unexpanded\def\mathfr{\setmathalphabet{fraktur}}
\unexpanded\def\mathbb{\setmathalphabet{blackboard}}

does that make sense?


Actually, better will be if we go for full ams compatibility:

Leave \mathscript, \mathfraktur, and \mathblackboard as they are, and 
define


\unexpanded\def\mathcal #1{{\setmathalphabet{script}#1}}
\unexpanded\def\mathfrak#1{{\setmathalphabet{fraktur}#1}}
\unexpanded\def\mathbb  #1{{\setmathalphabet{blackboard}#1}}

%TODO: Once bold is settled
%unexpanded\def\mathbf #1{{\setmathalphabet{bold}#1}}

% TODO: I need to actually see what exactly these commands to
%unexpanded\def\mathrm #1{{}
%unexpanded\def\mathit #1{{}

% TODO: Probably better will be \mathss since we use ss for sans serif
%unexpanded\def\mathsf #1{{}

% TODO: \mathscr is euler script. We can add this, but need to figure out
% how to deal with two script families in a configurable way
% For LM one can go with either euler script or RSFS (or both?)
%unexpanded\def\mathscr #1{{...}

Aditya
___
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  : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___