Re: Theorems with arguments like amsthm

[Otared Kavian <otared@gmail.com>]

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
___________________________________________________________________________________