lib/layouts/theorems-extended.inc

   1 # theorem environments for the extended theorem modules
   2
   3 Style Criterion
   4         CopyStyle             Theorem
   5         DependsOn                 Theorem
   6         LatexName             criterion
   7         LabelString           "Criterion \thetheorem."
   8         Preamble
   9             \theoremstyle{plain}
  10             \lyx@newtheorem{criterion}{\protect\criterionname}
  11         EndPreamble
  12         LangPreamble
  13             \providecommand{\criterionname}{_(Criterion)}
  14         EndLangPreamble
  15         BabelPreamble
  16             \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
  17         EndBabelPreamble
  18         DocBookWrapperTag     figure
  19         DocBookWrapperAttr    role='criterion'
  20         DocBookTag            para
  21         DocBookGenerateTitle  true
  22 End
  23
  24 Style Criterion*
  25         CopyStyle             Theorem*
  26         LatexName             criterion*
  27         LabelString           "Criterion."
  28         Preamble
  29           \theoremstyle{plain}
  30           \lyx@newtheorem*{criterion*}{\protect\criterionname}
  31         EndPreamble
  32         LangPreamble
  33           \providecommand{\criterionname}{_(Criterion)}
  34         EndLangPreamble
  35         BabelPreamble
  36           \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
  37         EndBabelPreamble
  38         DocBookWrapperTag     figure
  39         DocBookWrapperAttr    role='criterion'
  40         DocBookTag            para
  41         DocBookGenerateTitle  true
  42 End
  43
  44
  45 Style Algorithm
  46         CopyStyle             Theorem
  47         DependsOn                 Theorem
  48         LatexName             lyxalgorithm
  49         LabelString           "Algorithm \thetheorem."
  50         Preamble
  51             \theoremstyle{plain}
  52             \lyx@newtheorem{lyxalgorithm}{\protect\algorithmname}
  53         EndPreamble
  54         LangPreamble
  55             \providecommand{\algorithmname}{_(Algorithm)}
  56         EndLangPreamble
  57         BabelPreamble
  58             \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
  59         EndBabelPreamble
  60         DocBookWrapperTag     figure
  61         DocBookWrapperAttr    role='algorithm'
  62         DocBookTag            para
  63         DocBookGenerateTitle  true
  64 End
  65
  66
  67 Style Algorithm*
  68         CopyStyle             Theorem*
  69         LatexName             lyxalgorithm*
  70         LabelString           "Algorithm."
  71         Preamble
  72             \theoremstyle{plain}
  73             \lyx@newtheorem*{lyxalgorithm*}{\protect\algorithmname}
  74         EndPreamble
  75         LangPreamble
  76             \providecommand{\algorithmname}{_(Algorithm)}
  77         EndLangPreamble
  78         BabelPreamble
  79             \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
  80         EndBabelPreamble
  81         DocBookWrapperTag     figure
  82         DocBookWrapperAttr    role='algorithm'
  83         DocBookTag            para
  84         DocBookGenerateTitle  true
  85 End
  86
  87
  88 Style Axiom
  89         CopyStyle             Theorem
  90         DependsOn                   Theorem
  91         LatexName             ax
  92         LabelString           "Axiom \thetheorem."
  93         Preamble
  94             \theoremstyle{plain}
  95             \lyx@newtheorem{ax}{\protect\axiomname}
  96         EndPreamble
  97         LangPreamble
  98             \providecommand{\axiomname}{_(Axiom)}
  99         EndLangPreamble
 100         BabelPreamble
 101             \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 102         EndBabelPreamble
 103         DocBookWrapperTag     figure
 104         DocBookWrapperAttr    role='axiom'
 105         DocBookTag            para
 106         DocBookGenerateTitle  true
 107 End
 108
 109
 110 Style Axiom*
 111         CopyStyle             Theorem*
 112         LatexName             ax*
 113         LabelString           "Axiom."
 114         Preamble
 115             \theoremstyle{plain}
 116             \lyx@newtheorem*{ax*}{\protect\axiomname}
 117         EndPreamble
 118         LangPreamble
 119             \providecommand{\axiomname}{_(Axiom)}
 120         EndLangPreamble
 121         BabelPreamble
 122             \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 123         EndBabelPreamble
 124         DocBookWrapperTag     figure
 125         DocBookWrapperAttr    role='axiom'
 126         DocBookTag            para
 127         DocBookGenerateTitle  true
 128 End
 129
 130
 131 Style Condition
 132         CopyStyle             Definition
 133         LatexName             condition
 134         LabelString           "Condition \thetheorem."
 135         Preamble
 136             \theoremstyle{definition}
 137             \lyx@newtheorem{condition}{\protect\conditionname}
 138         EndPreamble
 139         LangPreamble
 140             \providecommand{\conditionname}{_(Condition)}
 141         EndLangPreamble
 142         BabelPreamble
 143             \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 144         EndBabelPreamble
 145         DocBookWrapperTag     figure
 146         DocBookWrapperAttr    role='condition'
 147         DocBookTag            para
 148         DocBookGenerateTitle  true
 149 End
 150
 151
 152 Style Condition*
 153         CopyStyle             Definition*
 154         LatexName             condition*
 155         LabelString           "Condition."
 156         Preamble
 157             \theoremstyle{definition}
 158             \lyx@newtheorem*{condition*}{\protect\conditionname}
 159         EndPreamble
 160         LangPreamble
 161             \providecommand{\conditionname}{_(Condition)}
 162         EndLangPreamble
 163         BabelPreamble
 164             \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 165         EndBabelPreamble
 166         DocBookWrapperTag     figure
 167         DocBookWrapperAttr    role='condition'
 168         DocBookTag            para
 169         DocBookGenerateTitle  true
 170 End
 171
 172
 173 Style Note
 174         CopyStyle             Remark
 175         LatexName             note
 176         LabelString           "Note \thetheorem."
 177         Preamble
 178             \theoremstyle{remark}
 179             \lyx@newtheorem{note}{\protect\notename}
 180         EndPreamble
 181         LangPreamble
 182             \providecommand{\notename}{_(Note)}
 183         EndLangPreamble
 184         BabelPreamble
 185             \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 186         EndBabelPreamble
 187         DocBookWrapperTag     figure
 188         DocBookWrapperAttr    role='note'
 189         DocBookTag            para
 190         DocBookGenerateTitle  true
 191 End
 192
 193
 194 Style Note*
 195         CopyStyle             Remark*
 196         LatexName             note*
 197         LabelString           "Note."
 198         Preamble
 199             \theoremstyle{remark}
 200             \lyx@newtheorem*{note*}{\protect\notename}
 201         EndPreamble
 202         LangPreamble
 203             \providecommand{\notename}{_(Note)}
 204         EndLangPreamble
 205         BabelPreamble
 206             \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 207         EndBabelPreamble
 208         DocBookWrapperTag     figure
 209         DocBookWrapperAttr    role='note'
 210         DocBookTag            para
 211         DocBookGenerateTitle  true
 212 End
 213
 214
 215 Style Notation
 216         CopyStyle             Remark
 217         LatexName             notation
 218         LabelString           "Notation \thetheorem."
 219         Preamble
 220             \theoremstyle{remark}
 221             \lyx@newtheorem{notation}{\protect\notationname}
 222         EndPreamble
 223         LangPreamble
 224             \providecommand{\notationname}{_(Notation)}
 225         EndLangPreamble
 226         BabelPreamble
 227             \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 228         EndBabelPreamble
 229         DocBookWrapperTag     figure
 230         DocBookWrapperAttr    role='notation'
 231         DocBookTag            para
 232         DocBookGenerateTitle  true
 233 End
 234
 235
 236 Style Notation*
 237         CopyStyle             Remark*
 238         LatexName             notation*
 239         LabelString           "Notation."
 240         Preamble
 241             \theoremstyle{remark}
 242             \lyx@newtheorem*{notation*}{\protect\notationname}
 243         EndPreamble
 244         LangPreamble
 245             \providecommand{\notationname}{_(Notation)}
 246         EndLangPreamble
 247         BabelPreamble
 248             \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 249         EndBabelPreamble
 250         DocBookWrapperTag     figure
 251         DocBookWrapperAttr    role='notation'
 252         DocBookTag            para
 253         DocBookGenerateTitle  true
 254 End
 255
 256
 257 Style Summary
 258         CopyStyle             Remark
 259         LatexName             summary
 260         LabelString           "Summary \thetheorem."
 261         Preamble
 262             \theoremstyle{remark}
 263             \lyx@newtheorem{summary}{\protect\summaryname}
 264         EndPreamble
 265         LangPreamble
 266             \providecommand{\summaryname}{_(Summary)}
 267         EndLangPreamble
 268         BabelPreamble
 269             \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 270         EndBabelPreamble
 271         DocBookWrapperTag     figure
 272         DocBookWrapperAttr    role='summary'
 273         DocBookTag            para
 274         DocBookGenerateTitle  true
 275 End
 276
 277
 278 Style Summary*
 279         CopyStyle             Remark*
 280         LatexName             summary*
 281         LabelString           "Summary."
 282         Preamble
 283             \theoremstyle{remark}
 284             \lyx@newtheorem*{summary*}{\protect\summaryname}
 285         EndPreamble
 286         LangPreamble
 287             \providecommand{\summaryname}{_(Summary)}
 288         EndLangPreamble
 289         BabelPreamble
 290             \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 291         EndBabelPreamble
 292         DocBookWrapperTag     figure
 293         DocBookWrapperAttr    role='summary'
 294         DocBookTag            para
 295         DocBookGenerateTitle  true
 296 End
 297
 298
 299 Style Acknowledgement
 300         CopyStyle             Remark
 301         LatexName             acknowledgement
 302         LabelString           "Acknowledgement \thetheorem."
 303         Preamble
 304             \theoremstyle{remark}
 305             \lyx@newtheorem{acknowledgement}{\protect\acknowledgementname}
 306         EndPreamble
 307         LangPreamble
 308             \providecommand{\acknowledgementname}{_(Acknowledgement)}
 309         EndLangPreamble
 310         BabelPreamble
 311             \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 312         EndBabelPreamble
 313         DocBookWrapperTag     figure
 314         DocBookWrapperAttr    role='acknowledgement'
 315         DocBookTag            para
 316         DocBookGenerateTitle  true
 317 End
 318
 319
 320 Style Acknowledgement*
 321         CopyStyle             Remark*
 322         LatexName             acknowledgement*
 323         LabelString           "Acknowledgement."
 324         Preamble
 325             \theoremstyle{remark}
 326             \lyx@newtheorem*{acknowledgement*}{\protect\acknowledgementname}
 327         EndPreamble
 328         LangPreamble
 329             \providecommand{\acknowledgementname}{_(Acknowledgement)}
 330         EndLangPreamble
 331         BabelPreamble
 332             \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 333         EndBabelPreamble
 334         DocBookWrapperTag     figure
 335         DocBookWrapperAttr    role='acknowledgement'
 336         DocBookTag            para
 337         DocBookGenerateTitle  true
 338 End
 339
 340
 341 Style Conclusion
 342         CopyStyle             Remark
 343         LatexName             conclusion
 344         LabelString           "Conclusion \thetheorem."
 345         Preamble
 346             \theoremstyle{remark}
 347             \lyx@newtheorem{conclusion}{\protect\conclusionname}
 348         EndPreamble
 349         LangPreamble
 350             \providecommand{\conclusionname}{_(Conclusion)}
 351         EndLangPreamble
 352         BabelPreamble
 353             \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 354         EndBabelPreamble
 355         DocBookWrapperTag     figure
 356         DocBookWrapperAttr    role='conclusion'
 357         DocBookTag            para
 358         DocBookGenerateTitle  true
 359 End
 360
 361
 362 Style Conclusion*
 363         CopyStyle             Remark*
 364         LatexName             conclusion*
 365         LabelString           "Conclusion."
 366         Preamble
 367             \theoremstyle{remark}
 368             \lyx@newtheorem*{conclusion*}{\protect\conclusionname}
 369         EndPreamble
 370         LangPreamble
 371             \providecommand{\conclusionname}{_(Conclusion)}
 372         EndLangPreamble
 373         BabelPreamble
 374             \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 375         EndBabelPreamble
 376         DocBookWrapperTag     figure
 377         DocBookWrapperAttr    role='conclusion'
 378         DocBookTag            para
 379         DocBookGenerateTitle  true
 380 End
 381
 382
 383 Style Assumption
 384         CopyStyle             Theorem
 385         DependsOn                 Theorem
 386         LatexName             assumption
 387         LabelString           "Assumption \thetheorem."
 388         Preamble
 389             \theoremstyle{plain}
 390             \lyx@newtheorem{assumption}{\protect\assumptionname}
 391         EndPreamble
 392         LangPreamble
 393             \providecommand{\assumptionname}{_(Assumption)}
 394         EndLangPreamble
 395         BabelPreamble
 396             \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 397         EndBabelPreamble
 398         DocBookWrapperTag     figure
 399         DocBookWrapperAttr    role='assumption'
 400         DocBookTag            para
 401         DocBookGenerateTitle  true
 402 End
 403
 404
 405 Style Assumption*
 406         CopyStyle             Theorem*
 407         LatexName             assumption*
 408         LabelString           "Assumption."
 409         Preamble
 410             \theoremstyle{plain}
 411             \lyx@newtheorem*{assumption*}{\protect\assumptionname}
 412         EndPreamble
 413         LangPreamble
 414             \providecommand{\assumptionname}{_(Assumption)}
 415         EndLangPreamble
 416         BabelPreamble
 417             \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 418         EndBabelPreamble
 419         DocBookWrapperTag     figure
 420         DocBookWrapperAttr    role='assumption'
 421         DocBookTag            para
 422         DocBookGenerateTitle  true
 423 End
 424
 425 Style Question
 426         CopyStyle             Theorem
 427         DependsOn             Theorem
 428         LatexName             question
 429         LabelString           "Question \thetheorem."
 430         Preamble
 431             \theoremstyle{plain}
 432             \lyx@newtheorem{question}{\protect\questionname}
 433         EndPreamble
 434         LangPreamble
 435             \providecommand{\questionname}{_(Question)}
 436         EndLangPreamble
 437         BabelPreamble
 438             \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 439         EndBabelPreamble
 440         DocBookWrapperTag     figure
 441         DocBookWrapperAttr    role='question'
 442         DocBookTag            para
 443         DocBookGenerateTitle  true
 444 End
 445
 446 Style Question*
 447         CopyStyle             Theorem*
 448         LatexName             question*
 449         LabelString           "Question."
 450         Preamble
 451             \theoremstyle{plain}
 452            \lyx@newtheorem*{question*}{\protect\questionname}
 453         EndPreamble
 454         LangPreamble
 455             \providecommand{\questionname}{_(Question)}
 456         EndLangPreamble
 457         BabelPreamble
 458             \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 459         EndBabelPreamble
 460         DocBookWrapperTag     figure
 461         DocBookWrapperAttr    role='question'
 462         DocBookTag            para
 463         DocBookGenerateTitle  true
 464 End
 465
 466 Input theorems-refprefix.inc