1<TeXmacs|1.0.4> 2 3<style|<tuple|source|std>> 4 5<\body> 6 <active*|<\src-title> 7 <src-package|std-pattern|1.0> 8 9 <\src-purpose> 10 Macros for rendering patterns and pattern-based transformations 11 </src-purpose> 12 13 <src-copyright|1998--2004|Joris van der Hoeven> 14 15 <\src-license> 16 This software falls under the <hlink|GNU general public 17 license, version 3 or later|$TEXMACS_PATH/LICENSE>. 18 It comes WITHOUT ANY WARRANTY WHATSOEVER. 19 You should have received a copy of the license which the software. 20 If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>. 21 </src-license> 22 </src-title>> 23 24 <assign|pat-or*|<macro|x|<active*|<with|color|dark 25 magenta|mode|math|\<vee\>>><arg|x>>> 26 27 <assign|pat-or|<xmacro|x|<active*|<with|color|dark 28 magenta|(>><arg|x|0><map-args|pat-or*|concat|x|1><active*|<with|color|dark 29 magenta|)>>>> 30 31 <assign|pat-and*|<macro|x|<active*|<with|color|dark 32 magenta|mode|math|\<wedge\>>><arg|x>>> 33 34 <assign|pat-and|<xmacro|x|<active*|<with|color|dark 35 magenta|(>><arg|x|0><map-args|pat-and*|concat|x|1><active*|<with|color|dark 36 magenta|)>>>> 37 38 <assign|pat-and-not|<macro|x|y|<active*|<with|color|dark 39 magenta|(>><arg|x><active*|<with|color|dark 40 magenta|mode|math|\\>><arg|y><active*|<with|color|dark magenta|)>>>> 41 42 <assign|pat-group*|<macro|x|<active*|<with|color|dark 43 magenta|mode|math|\|>><arg|x>>> 44 45 <assign|pat-group|<xmacro|x|<active*|<with|color|dark 46 magenta|mode|math|(>><arg|x|0><map-args|pat-group*|concat|x|1><active*|<with|color|dark 47 magenta|mode|math|)>>>> 48 49 <assign|pat-compound*|<macro|x|<active*|<with|color|dark 50 magenta|mode|math|\|>><arg|x>>> 51 52 <assign|pat-compound|<xmacro|x|<active*|<with|color|dark 53 magenta|<with|mode|math|\<langle\>><with|font-family|ss|<inactive*|<arg|x|0>>>>><map-args|pat-compound*|concat|x|1><active*|<with|color|dark 54 magenta|mode|math|\<rangle\>>>>> 55 56 <assign|pat-repeat|<macro|x|<arg|x><active*|<with|color|dark 57 magenta|mode|math|<rsup|\<ast\>>>>>> 58 59 <assign|pat-any|<macro|<active*|<with|color|magenta|mode|math|<group|\<ast\>>>>>> 60 61 <assign|pat-several-any|<macro|nr|<pat-any><active*|<with|color|dark 62 magenta|mode|math|<rsup|<inactive*|<arg|nr>>>>>>> 63 64 <assign|pat-repeat-any|<macro|<pat-repeat|<pat-any>>>> 65 66 <assign|pat-quote|<macro|x|<with|color|magenta|font-shape|italic|<arg|x>>>> 67 68 <assign|pat-range|<macro|start|end|<active*|<with|color|dark 69 magenta|(>><arg|start><active*|<with|color|dark 70 magenta|-->><arg|end><active*|<with|color|dark magenta|)>>>> 71 72 <assign|pat-match|<macro|x|<arg|x><active*|<with|color|dark 73 magenta|mode|math|?>>>> 74 75 <assign|pat-replace|<macro|x|<arg|x><active*|<with|color|dark 76 magenta|mode|math|!>>>> 77 78 \; 79 80 <assign|select|<xmacro|x|<extern|ext-select|<arg|x|0>|<quote-arg|x>>>> 81 82 \; 83</body> 84 85<\initial> 86 <\collection> 87 <associate|preamble|true> 88 </collection> 89</initial>