Question

I am writing a thesis heavy with Definitions, Theorems, Lemmas and the like. I need to give a basic definition of a concept, and then later in the thesis expand on this definition as more parameters add to the complexity and thus to the definition. So I need something which would look (structurally) like this:

Definition 1

Definition 2

Definition 3

Addendum 1.a (Referring to Definition 1)

Addendum 1.b (Referring to Definition 1 )

Definition 4

Addendum 1.c (Referring to Definition 1)

Addendum 3.a (Referring to Definition 3)

Definition 5

I can t seem to find anything that will let me do this. Does anyone have an idea?

Answer 1

In preambule:


ewtheorem{Definition}{Definition}

ewtheorem{Addendum}{Addendum}[Definition]
def	heAddendum{	heDefinition .alph{Addendum}}

Main text:


ewcountsaveDefCounter

egin{Definition} ... end{Definition}
egin{Definition} ... end{Definition}
egin{Definition} ... end{Definition}

saveDefCounterarabic{Definition}
setcounter{Definition}{1}

egin{Addendum} ... end{Addendum}
egin{Addendum} ... end{Addendum}

setcounter{Definition}{saveDefCounter}

egin{Definition} ... end{Definition}
egin{Definition} ... end{Definition}

Answer 2

Based on Alexey s answer, try

documentclass{article}

ewtheorem{Definition}{Definition}

makeatletter

ewenvironment{add}[1]{ % environment has one required arg, a label to follow
  @ifundefined{c@add@#1}{ % does a private counter exist for the label?
    
ewcounter{add@#1} % define if not
  }{ % do nothing if it does
  }
  stepcounter{add@#1}
  @begintheorem{Addendum}{
ef{#1}.csname theadd@#1endcsname}ignorespaces
  % use latex internal macro to write the theorem start environment
}{ % end the environment
  @endtheorem
}
makeatother

egin{document}

egin{Definition}label{def1} ... end{Definition}
egin{Definition}label{def2} ... end{Definition}
egin{Definition}label{def3} ... end{Definition}


egin{add}{def1} ... end{add}
egin{add}{def2} ... end{add}
egin{add}{def1} ... end{add}


egin{Definition} ... end{Definition}
egin{Definition} ... end{Definition}
end{document}

The add environment must get a label specifying the definition to which it is to append. Put the bit between makeatletter and makeatother in a style file if you want to make it reusable.

友情链接