Indice del forum
Forum del Gruppo Utilizzatori Italiani di TeX

Homepage di GuITHomepage di GuIT
GuidaGuITIntroduzione all'arte della composizione tipografica
ArteLaTeXL'arte di scrivere con LaTeX
lshortUna (mica tanto) breve introduzione a LaTeX2e [IT] - [EN]
l2tabuitElenco dei “peccati” degli utenti di LaTeX2e
itamsldocManuale utente di amsmath
compsymThe Comprehensive LaTeX Symbol List

Aderisci a GuIT
Registrati al ForumRegistrati al Forum
FAQ di phpBBFAQ di phpBB
Netiquette del ForumNetiquette
Lista degli utentiLista degli utenti
ProfiloProfilo
Messaggi PrivatiMessaggi Privati
LoginLogin
Cerca sul sito  
Ricerca Avanzata sul Forum di GuIT

ATTENZIONE

ATTENZIONE

Il Forum si è trasferito al nuovo indirizzo: www.guitex.org. Le vecchie discussioni rimarranno visibili per consultazione. Gli utenti registrati potranno continuare a usare le proprie credenziali d'accesso sul nuovo Forum.

ATTENZIONE

ATTENZIONE


ambiente per dimostrazioni
Vai a pagina 1, 2  Successivo
 
Questo forum è chiuso. Non puoi inserire, rispondere o modificare i Topics   Topic chiuso    Indice del forum -> ConTeXt
Precedente :: Successivo  
Autore Messaggio
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Lun Ago 02, 2010 4:33 pm    Oggetto: ambiente per dimostrazioni Rispondi citando

Salve a tutti, per emulare l'ambiente proof di LaTeX, ho pensato di fare cos\`i:

Codice:

\definedescription
[proof]
[text=Dimostrazione.]

\setupdescriptions[proof]
[width=broad,distance=0.5em,
location=serried,
headstyle=it,
headcolor=black,
style=normal,
indentnext=yes,
closesymbol=$\square$]


Se la dimostrazione finisce per\`o con una formula in display il simbolo di chiusura (\square) lo mette a capo.
Qualcuno sa come fare ad ovviare a queto? in LaTeX c'era il comando \qedhere che serviva proprio a questo.

Grazie

ES
Torna in cima
Profilo Messaggio privato
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Lun Dic 13, 2010 1:43 pm    Oggetto: soluzione per mkiv Rispondi citando

ecco una soluzione che funziona solo per mkiv:
Codice:
\definedescription
[proof]
[text=Proof.]

\setupdescriptions
 [proof]
 [width=broad,
 distance=0.5em,
 location=serried,
 headstyle=it,
 indentnext=yes,
 indenting=yes,
 closesymbol=\mathematics{\square},
 closecommand=\ifmmode\eqno\else\wordright\fi]


ES
Torna in cima
Profilo Messaggio privato
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Dom Dic 19, 2010 9:43 am    Oggetto: Rispondi citando

C'è anche un comando
Codice:
\placeclosesymbol

che in teoria dovrebbe essere l'equivalente di \qedhere.
A me, in mkii, dentro ad una formula mi da errore (funziona per esempio se la dimostrazione finisce con un itemize).

Ciao

ES
Torna in cima
Profilo Messaggio privato
luigi.scarso
Avanzato


Registrato: 28/04/05 09:13
Messaggi: 268
Località: padova

MessaggioInviato: Dom Dic 19, 2010 12:43 pm    Oggetto: Re: soluzione per mkiv Rispondi citando

emanuelesacco ha scritto:
ecco una soluzione che funziona solo per mkiv:
Codice:
\definedescription
[proof]
[text=Proof.]

\setupdescriptions
 [proof]
 [width=broad,
 distance=0.5em,
 location=serried,
 headstyle=it,
 indentnext=yes,
 indenting=yes,
 closesymbol=\mathematics{\square},
 closecommand=\ifmmode\eqno\else\wordright\fi]


ES


Non riesco a capire la differenza tra mkii e mkiv: a me il simbolo qed sembra finire nello stessa posizione in entrambi i casi.
_________________
--
luigi
Torna in cima
Profilo Messaggio privato
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Dom Dic 19, 2010 2:34 pm    Oggetto: Rispondi citando

Per quanto riguarda mkiv non so perché non ho mai provato (riportavo una soluzione data in mailing list).
Per mkii invece a me da errore e non compila neanche Sad

ES
Torna in cima
Profilo Messaggio privato
luigi.scarso
Avanzato


Registrato: 28/04/05 09:13
Messaggi: 268
Località: padova

MessaggioInviato: Dom Dic 19, 2010 3:46 pm    Oggetto: Rispondi citando

emanuelesacco ha scritto:
C'è anche un comando
Codice:
\placeclosesymbol

che in teoria dovrebbe essere l'equivalente di \qedhere.
A me, in mkii, dentro ad una formula mi da errore (funziona per esempio se la dimostrazione finisce con un itemize).

Ciao

ES


Una cosa di questo tipo ?

Codice:


\definedescription
[proof]
[text=Proof.]

\setupdescriptions
 [proof]
 [width=broad,
  distance=0.5em,
  location=serried,
  headstyle=it,
  indentnext=yes,
  indenting=yes,
  %closesymbol=\square,
  after={\nobreak\vskip-1.75\lineheight\nobreak\hbox to \hsize{\hfill$\square$}\vskip1.75\lineheight},
  ]



\starttext

\startproof
Questa \'e una dimostrazione
\startformula
a=b
\stopformula
\stopproof
\input tufte
\stoptext

_________________
--
luigi
Torna in cima
Profilo Messaggio privato
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Dom Dic 19, 2010 5:17 pm    Oggetto: Rispondi citando

Si funziona! sei troppo bravo.
Se proprio si vuole essere precisi, l'allineamento verticale non è sempre corretto, per esempio se si sostituisce la formula con
Codice:
a=\int_\sum b^2

si vede abbastanza bene.

Infine ci sarebbe da sistemare la questione se la formula finale \`e numerata.

Comunque mi ritengo soddisfatto.

Grazie

ES
Torna in cima
Profilo Messaggio privato
luigi.scarso
Avanzato


Registrato: 28/04/05 09:13
Messaggi: 268
Località: padova

MessaggioInviato: Dom Dic 19, 2010 6:08 pm    Oggetto: Rispondi citando

emanuelesacco ha scritto:
Si funziona! sei troppo bravo.
Se proprio si vuole essere precisi, l'allineamento verticale non è sempre corretto, per esempio se si sostituisce la formula con
Codice:
a=\int_\sum b^2

si vede abbastanza bene.

Infine ci sarebbe da sistemare la questione se la formula finale \`e numerata.

Comunque mi ritengo soddisfatto.

Grazie

ES

Era solo un esempio per vedere se avevo capito: \vskip-1.75\lineheight è fatto per tentativi
CMQ ci penso, ci sono alcune cose interessanti.
_________________
--
luigi
Torna in cima
Profilo Messaggio privato
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Dom Dic 19, 2010 8:50 pm    Oggetto: Rispondi citando

luigi.scarso ha scritto:
Era solo un esempio per vedere se avevo capito.


Hai capito perfettamente.
Torna in cima
Profilo Messaggio privato
luigi.scarso
Avanzato


Registrato: 28/04/05 09:13
Messaggi: 268
Località: padova

MessaggioInviato: Dom Dic 19, 2010 9:28 pm    Oggetto: Rispondi citando

emanuelesacco ha scritto:
luigi.scarso ha scritto:
Era solo un esempio per vedere se avevo capito.


Hai capito perfettamente.


Codice:

\setupcolors[state=start]
\definedescription
[proof]
[text=Proof.]

\newdimen\RecordPos
\newdimen\TempPos
\def\QEDHERE{\rlap{\vrule width\textwidth height1pt depth0pt}\global\RecordPos=\the\pagetotal}
\def\PutQED{%
%\par\nointerlineskip\vskip0pt
\rlap{\color[blue]{\vrule width\textwidth height1sp depth0pt}}%
\TempPos=\the\pagetotal%
\nobreak\vskip-\the\dimexpr(\TempPos-\RecordPos)%
\nobreak\hbox to \textwidth{\hfill$\square$}\vskip\the\dimexpr(\TempPos-\RecordPos-\lineheight)
}

\setupdescriptions
 [proof]
 [width=broad,
  distance=0.5em,
  location=serried,
  headstyle=it,
  indentnext=yes,
  indenting=yes,
  after=\PutQED,
  ]


\starttext

\startproof
Questa \'e una dimostrazione
\startformula
a=\int_{\sum_{\int_\sum^6}}^{100}\sum b^2\QEDHERE
\stopformula
\stopproof

\startproof
Questa \'e una dimostrazione
\startformula
a=b \QEDHERE
\stopformula
\stopproof


\startproof
Questa \'e una dimostrazione
\startformula
a=\frac{1}{c} \QEDHERE
\stopformula
\stopproof

\startproof
Questa \'e una dimostrazione
\startformula
a=\sum b\QEDHERE
\stopformula
\stopproof

\stoptext



L'idea è semplice: memorizza con \QEDHERE il punto dove appare la formula,
una volta chiuso proof torna su fino al punto, metti $\square$, e ritorna alla fine di proof.

Ma deve esserci qualche altro spazio che mi sfugge, quindi come realizzazione non è un granchè
(se non vuoi vedere le rule mettile ad altezza 0pt).
_________________
--
luigi
Torna in cima
Profilo Messaggio privato
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Lun Dic 20, 2010 10:20 am    Oggetto: Rispondi citando

luigi.scarso ha scritto:
L'idea è semplice:


\`e la realizzazione che è difficile Smile
Apparte gli scherzi, appena ho un po' di tempo la leggo attentamente.
Intanto avevo pensato ad un trucchetto probabilmente non molto elegante visto che bisogna usare due comandi, comunque funziona

Codice:
\definedescription
[proof]
[text=Proof.]

\setupdescriptions
 [proof]
 [width=broad,
 distance=0.5em,
 location=serried,
 headstyle=it,
 indentnext=yes,
 indenting=yes,
 closesymbol=\mathematics{\square}]

\def\QEDhere{\eqno\mathematics{\square}}
\def\NOsymbol{\setupdescriptions
 [proof][closesymbol=]}
\starttext
\startproof
Questa \`e una dimostrazione che finisce cos\`i.
\stopproof

\startproof
Questa \`e una dimostrazione che finisce con formula
\startformula
a=\int_{\sum_{\int_\sum^6}}^{100}\sum b^2\QEDhere
\stopformula\NOsymbol
\stopproof

\startproof
Questa \`e una dimostrazione che finisce cos\`i.
\stopproof

\stoptext


Che ne dici?

ES
Torna in cima
Profilo Messaggio privato
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Lun Dic 20, 2010 10:22 am    Oggetto: Rispondi citando

anche se non riesco a gestire adeguatamente il caso di una formula numerata (in LaTeX con il comando \qedhere il quadratino si situava immediatamente sotto al numero)

ES
Torna in cima
Profilo Messaggio privato
emanuelesacco
Neofita


Registrato: 28/05/08 17:00
Messaggi: 78

MessaggioInviato: Lun Dic 20, 2010 10:35 am    Oggetto: Rispondi citando

Probabilmente, se riuscissi a capire questo codice
Codice:
\def\@@resetdescriptionclosesymbol
  {\global\@EA\settrue\csname\??dd\currentdescription:mrk\endcsname
   \let\placeclosesymbol\@@placedescriptionclosesymbol
   \let\qed             \@@placedescriptionclosesymbol}

\def\@@placedescriptionclosesymbol
  {\ifconditional\csname\??dd\currentdescription:mrk\endcsname
     \global\@EA\setfalse\csname\??dd\currentdescription:mrk\endcsname
     \doifsomething{\descriptionparameter\c!closesymbol}{\descriptionparameter\c!closecommand{\descriptionparameter\c!closesymbol}}%
   \fi}

Potrei anche fare un comando solo..

ES
Torna in cima
Profilo Messaggio privato
luigi.scarso
Avanzato


Registrato: 28/04/05 09:13
Messaggi: 268
Località: padova

MessaggioInviato: Lun Dic 20, 2010 2:08 pm    Oggetto: Rispondi citando

E perché non due "proof" ?

Codice:

\definedescription
[proof]
[text=Proof.]

\setupdescriptions
 [proof]
 [width=broad,
 distance=0.5em,
 location=serried,
 headstyle=it,
 indentnext=yes,
 indenting=yes,
 closesymbol=\mathematics{\square}]

\definedescription[Proof][text=Proof.]
\setupdescriptions
 [Proof]
 [width=broad,
 distance=0.5em,
 location=serried,
 headstyle=it,
 indentnext=yes,
 indenting=yes,
 closesymbol=]



\def\QEDhere{\eqno\mathematics{\square}}

\starttext
\startproof
Questa \`e una dimostrazione che finisce cos\`i.
\stopproof

\startProof
Questa \`e una dimostrazione che finisce con formula
\startformula
a=\int_{\sum_{\int_\sum^6}}^{100}\sum b^2\QEDhere
\stopformula
\stopProof

\startProof
Questa \`e una dimostrazione che finisce cos\`i.
\stopProof


\startproof
Questa \`e una dimostrazione che finisce cos\`i.
\stopproof

\stoptext


_________________
--
luigi
Torna in cima
Profilo Messaggio privato
egreg9
Staff


Registrato: 14/03/04 19:19
Messaggi: 9988
Località: Padova, Verona

MessaggioInviato: Lun Dic 20, 2010 2:24 pm    Oggetto: Rispondi citando

luigi.scarso ha scritto:
E perché non due "proof" ?

Nel pacchetto amsthm il problema è risolto con un condizionale: se c'è \qedhere il condizionale cambia valore e \end{proof} non stampa nulla. Naturalmente il \qedhere non viene stampato per mezzo di \eqno, perché sarebbe incompatibile con la numerazione: non ci possono essere \eqno e \leqno nella stessa formula. È chiaro che \qedhere non può essere usato se i numeri delle equazioni sono a destra.

Ciao
Enrico
_________________
Ceterum censeo differentiale signum non esse operatorem.
Torna in cima
Profilo Messaggio privato HomePage
Mostra prima i messaggi di:   
Questo forum è chiuso. Non puoi inserire, rispondere o modificare i Topics   Topic chiuso    Indice del forum -> ConTeXt Tutti i fusi orari sono GMT + 1 ora
Vai a pagina 1, 2  Successivo
Pagina 1 di 2

 
Merge topics 
Vai a:  
Non puoi inserire nuovi Topic in questo forum
Non puoi rispondere ai Topic in questo forum
Non puoi modificare i tuoi messaggi in questo forum
Non puoi cancellare i tuoi messaggi in questo forum
Non puoi votare nei sondaggi in questo forum


Powered by phpBB © 2001, 2002 phpBB Group
Protetto da Project Honey Pot and phpBB.cc