Theorems with arguments like amsthm

Theorems with arguments like amsthm

[Xan]

Hi,

I have my environment of context that defines the theorems and lemmas 
like amsthm in latex. For example, for lemmas, I have:

\defineenumeration
  [lemma]
  
[text={Lemma},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em,
stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,style=italic]

The question is how can I get the typical argument of lemmas: "Lema 4.1 
(superadditive lemma)"? How can I add the possibility that lemma _could_ 
have one argument (the phrase in parentesis)?.
I'm not a TeX programmer, such a ConTeXt user.

Any hint?

Thanks,
Xan.
___________________________________________________________________________________
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: Theorems with arguments like amsthm

[Aditya Mahajan]

On Fri, 29 May 2009, Xan wrote:

> Hi,
>
> I have my environment of context that defines the theorems and lemmas like 
> amsthm in latex. For example, for lemmas, I have:
>
> \defineenumeration
> [lemma]
> [text={Lemma},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em,
> stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,style=italic]
>
> The question is how can I get the typical argument of lemmas: "Lema 4.1 
> (superadditive lemma)"? How can I add the possibility that lemma _could_ have 
> one argument (the phrase in parentesis)?.
> I'm not a TeX programmer, such a ConTeXt user.
>
> Any hint?

Use [title=yes] and then

\startlemma[reference]{A brilliant result}
...
\stoplemma

For details, see my article in last year's MAPS.

Theorems in ConTeXt (English), MAPS 36, 2008, 27-32
(http://www.ntg.nl/maps/36/index.html)

Unfortunately, the issue is not available online yet.

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: Theorems with arguments like amsthm

[Xan]

En/na Xan ha escrit:
> On Fri, 29 May 2009, Xan wrote:
>
> >/ Hi,
> />/
> />/ I have my environment of context that defines the theorems and lemmas like 
> />/ amsthm in latex. For example, for lemmas, I have:
> />/
> />/ \defineenumeration
> />/ [lemma]
> />/ [text={Lemma},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em,
> />/ stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,style=italic]
> />/
> />/ The question is how can I get the typical argument of lemmas: "Lema 4.1 
> />/ (superadditive lemma)"? How can I add the possibility that lemma _could_ have 
> />/ one argument (the phrase in parentesis)?.
> />/ I'm not a TeX programmer, such a ConTeXt user.
> />/
> />/ Any hint?
> /
> Use [title=yes] and then
>
> \startlemma[reference]{A brilliant result}
> ...
> \stoplemma
>
>   

But if I do that, there is no space between the parentesis and number 
(like "Theorem 4.1(My great result)" and the parentesis and the contents 
of the parentesis are in bold. How can I solve that?


> For details, see my article in last year's MAPS.
>
> Theorems in ConTeXt (English), MAPS 36, 2008, 27-32
> (http://www.ntg.nl/maps/36/index.html)
>
> Unfortunately, the issue is not available online yet.
>
> Aditya
>   
>
Yes, I tried to download it previosly (because I think it's missing 
documentation about something equivalent of amsthm in context) and I get 
that.... Can you give me it privately?

Regards, a lot,
Xan.

___________________________________________________________________________________
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: Theorems with arguments like amsthm

[Xan]

En/na Xan ha escrit:
> En/na Xan ha escrit:
>> On Fri, 29 May 2009, Xan wrote:
>>
>> >/ Hi,
>> />/
>> />/ I have my environment of context that defines the theorems and 
>> lemmas like />/ amsthm in latex. For example, for lemmas, I have:
>> />/
>> />/ \defineenumeration
>> />/ [lemma]
>> />/ 
>> [text={Lemma},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em, 
>>
>> />/ 
>> stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,style=italic] 
>>
>> />/
>> />/ The question is how can I get the typical argument of lemmas: 
>> "Lema 4.1 />/ (superadditive lemma)"? How can I add the possibility 
>> that lemma _could_ have />/ one argument (the phrase in parentesis)?.
>> />/ I'm not a TeX programmer, such a ConTeXt user.
>> />/
>> />/ Any hint?
>> /
>> Use [title=yes] and then
>>
>> \startlemma[reference]{A brilliant result}
>> ...
>> \stoplemma
>>
>>   
>
> But if I do that, there is no space between the parentesis and number 
> (like "Theorem 4.1(My great result)" and the parentesis and the 
> contents of the parentesis are in bold. How can I solve that?

Mmm... with \titledistance I have to put space between () and numbers. 
But what is the dimensions of one space? 1em?

Now it remains only the bold topic.
Thanks a lot,
Xan.
>
>
>> For details, see my article in last year's MAPS.
>>
>> Theorems in ConTeXt (English), MAPS 36, 2008, 27-32
>> (http://www.ntg.nl/maps/36/index.html)
>>
>> Unfortunately, the issue is not available online yet.
>>
>> Aditya
>>  
> Yes, I tried to download it previosly (because I think it's missing 
> documentation about something equivalent of amsthm in context) and I 
> get that.... Can you give me it privately?
>
> Regards, a lot,
> Xan.
>
>

___________________________________________________________________________________
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: Theorems with arguments like amsthm

[Otared Kavian]

Hi Xan,

Thanks to your example and Aditya's explanantion I learned too…
Here is how you can get what you want:

%%% begin example

\defineenumeration[lemma]%
	[text={Lemma},
	headstyle=bold,
	between=\blank,
	titledistance=0em,
	textdistance=1em,
	stopper={.\space},
	location=serried,
	left={\bgroup\bf},
	right={\egroup},
	width=fit,
	style=italic,
	title=yes,
	titledistance=.3em,
	titlestyle=sc] % or italic, or whatever you like


\starttext

\startlemma[reference]{ A brilliant result}
If $a=2$ then the set $H(a)$ is not empty.
\stoplemma

\stoptext

%%% end example


Best regards: OK

On 29 mai 09, at 21:52, Xan wrote:

> En/na Xan ha escrit:
>> En/na Xan ha escrit:
>>> On Fri, 29 May 2009, Xan wrote:
>>>
>>> >/ Hi,
>>> />/
>>> />/ I have my environment of context that defines the theorems and  
>>> lemmas like />/ amsthm in latex. For example, for lemmas, I have:
>>> />/
>>> />/ \defineenumeration
>>> />/ [lemma]
>>> />/ [text={Lemma},headstyle=bold,between= 
>>> \blank,titledistance=0em,textdistance=1em,
>>> />/ stopper={.\space},location=serried,left={\bgroup 
>>> \bf},right={\egroup},width=fit,style=italic]
>>> />/
>>> />/ The question is how can I get the typical argument of lemmas:  
>>> "Lema 4.1 />/ (superadditive lemma)"? How can I add the  
>>> possibility that lemma _could_ have />/ one argument (the phrase  
>>> in parentesis)?.
>>> />/ I'm not a TeX programmer, such a ConTeXt user.
>>> />/
>>> />/ Any hint?
>>> /
>>> Use [title=yes] and then
>>>
>>> \startlemma[reference]{A brilliant result}
>>> ...
>>> \stoplemma
>>>
>>>
>>
>> But if I do that, there is no space between the parentesis and  
>> number (like "Theorem 4.1(My great result)" and the parentesis and  
>> the contents of the parentesis are in bold. How can I solve that?
>
> Mmm... with \titledistance I have to put space between () and  
> numbers. But what is the dimensions of one space? 1em?
>
> Now it remains only the bold topic.
> Thanks a lot,
> Xan.
>>
>>
>>> For details, see my article in last year's MAPS.
>>>
>>> Theorems in ConTeXt (English), MAPS 36, 2008, 27-32
>>> (http://www.ntg.nl/maps/36/index.html)
>>>
>>> Unfortunately, the issue is not available online yet.
>>>
>>> Aditya
>>>
>> Yes, I tried to download it previosly (because I think it's missing  
>> documentation about something equivalent of amsthm in context) and  
>> I get that.... Can you give me it privately?
>>
>> Regards, a lot,
>> Xan.
>>
>>
>
> ___________________________________________________________________________________
> 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
> ___________________________________________________________________________________

%%%%%%%%%%%%%%%%%%
Otared Kavian
Département de Mathématiques
Université de Versailles Saint-Quentin
Bâtiment Fermat
45 aveue des Etats Unis
78035 Versailles cedex

Téléphone: +33 1 39 25 46 42
Secrétariat: +33 1 39 25 46 44
Secrétariat: +33 1 39 25 46 46

e-mail: Otared.Kavian@math.uvsq.fr



___________________________________________________________________________________
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: Theorems with arguments like amsthm

[Xan]

> Hi Xan,
>
> Thanks to your example and Aditya's explanantion I learned too…
>   

I'm glad for that :-)
> Here is how you can get what you want:
>
> %%% begin example
>
> \defineenumeration[lemma]%
> 	[text={Lemma},
> 	headstyle=bold,
> 	between=\blank,
> 	titledistance=0em,
> 	textdistance=1em,
> 	stopper={.\space},
> 	location=serried,
> 	left={\bgroup\bf},
> 	right={\egroup},
> 	width=fit,
> 	style=italic,
> 	title=yes,
> 	titledistance=.3em,
> 	titlestyle=sc] % or italic, or whatever you like
>
>   

I think titledistance=1ex is better spacing. I don' t know what is 
exactly the space between number and (). What width has space?
> \starttext
>
> \startlemma[reference]{ A brilliant result}
> If $a=2$ then the set $H(a)$ is not empty.
> \stoplemma
>
> \stoptext
>
> %%% end example
>
>
> Best regards: OK
>   

Thanks to you, Otared.

Xan.


___________________________________________________________________________________
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: Theorems with arguments like amsthm--> demostration space

[Xan]

Thinking about spaces.... anyone knows how to put less space between 
text "Demostració" and the text itself in this environment?:

\definedescription[demo][location=serried,text={Demostració.},
headstyle=bold,indentnext=yes,between=\blank,textdistance=0em,
closesymbol=\mathematics{\Box}]

\starttext
\startdemo Hola
\stopdemo

\stoptext


Thanks,
Xan.

___________________________________________________________________________________
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: Theorems with arguments like amsthm--> demostration space

[Aditya Mahajan]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 487 bytes --]

On Sat, 30 May 2009, Xan wrote:

> Thinking about spaces.... anyone knows how to put less space between 
> text "Demostració" and the text itself in this environment?:

width=fit, distance=0.5em (or whatever you want the distance to be)

> \definedescription[demo][location=serried,text={Demostració.},
> headstyle=bold,indentnext=yes,between=\blank,textdistance=0em,
> closesymbol=\mathematics{\Box}]
>
> \starttext
> \startdemo Hola
> \stopdemo
>
> \stoptext

Aditya

[-- Attachment #2: Type: text/plain, Size: 487 bytes --]

___________________________________________________________________________________
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: Theorems with arguments like amsthm--> demostration space

[Xan]

> Sat, 30 May 2009, Xan wrote:
>
> >/ Thinking about spaces.... anyone knows how to put less space between 
> />/ text "Demostració" and the text itself in this environment?:
> /
> width=fit, distance=0.5em (or whatever you want the distance to be)
>
>   
Thanks, Aditya.

For the other hand, I possibly discover a bug:

I have that (sorry for the comments in catalan):

\defineenumeration
  [lemma]
  [text={Lemma}, % Què es mostra
   before={\blank[big]}, % abans de lemma, un bigskip
   after={\blank[big]}, % després de lemma, un bigskip
   headstyle=bold, % Negreta per la capçaleras
   %between=\blank, % Entre Lemmes una línia en blanc
   titledistance=.5em, % espai entre número i parèntesis.
   textdistance=.5em, % espai entre ) i text
   stopper={.\space}, % Com acaba. Després de parèntesis un '.'
   location=serried,
   width=fit, % que ocupi tot l'espai
   style=italic, % estil del text
   title=yes, % si puc posar o no arguments opcionals
   titlestyle=sc, % estil del títol
   way=bytext, % enumerar en tot el document
   conversion=numbers] % enumera amb arabic


\defineenumeration
  [definition]
  [lemma]
  [text={Definició},style=tf,titlestyle=sc]

\defineenumeration
  [notation]
  [definition]
  [text={Notació},style=tf,titlestyle=sc]

I have to specify the titlestyle in notation and in definition. If 
notation inherits style from definition and this inherits from lemma, so 
it should have the same style. So

\defineenumeration
  [notation]
  [definition]
  [text={Notació}]

should have all the same style as definition, but it isn't.

Xan.
___________________________________________________________________________________
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: Theorems with arguments like amsthm--> demostration space

[Aditya Mahajan]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 2008 bytes --]

On Sat, 30 May 2009, Xan wrote:

>
>> Sat, 30 May 2009, Xan wrote:
>>
>> >/ Thinking about spaces.... anyone knows how to put less space between 
>> />/ text "Demostració" and the text itself in this environment?:
>> /
>> width=fit, distance=0.5em (or whatever you want the distance to be)
>>
>> 
> Thanks, Aditya.
>
> For the other hand, I possibly discover a bug:
>
> I have that (sorry for the comments in catalan):
>
> \defineenumeration
>  [lemma]
>  [text={Lemma}, % Què es mostra
>   before={\blank[big]}, % abans de lemma, un bigskip
>   after={\blank[big]}, % després de lemma, un bigskip
>   headstyle=bold, % Negreta per la capçaleras
>   %between=\blank, % Entre Lemmes una línia en blanc
>   titledistance=.5em, % espai entre número i parèntesis.
>   textdistance=.5em, % espai entre ) i text
>   stopper={.\space}, % Com acaba. Després de parèntesis un '.'
>   location=serried,
>   width=fit, % que ocupi tot l'espai
>   style=italic, % estil del text
>   title=yes, % si puc posar o no arguments opcionals
>   titlestyle=sc, % estil del títol
>   way=bytext, % enumerar en tot el document
>   conversion=numbers] % enumera amb arabic
>
>
> \defineenumeration
>  [definition]
>  [lemma]
>  [text={Definició},style=tf,titlestyle=sc]
>
> \defineenumeration
>  [notation]
>  [definition]
>  [text={Notació},style=tf,titlestyle=sc]
>
> I have to specify the titlestyle in notation and in definition. If 
> notation inherits style from definition and this inherits from lemma, so 
> it should have the same style. So
>
> \defineenumeration
>  [notation]
>  [definition]
>  [text={Notació}]
>
> should have all the same style as definition, but it isn't.

That is right. titlestyle (and possibly others are missing in the two 
copyparameters in the definition of dododefineenumeration in core-des.tex.

Hans, I can send you a patch in about 10 days (travelling until then),
unless you end up correcting this sooner.

Aditya

[-- Attachment #2: Type: text/plain, Size: 487 bytes --]

___________________________________________________________________________________
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
___________________________________________________________________________________