mortar-pygments.rb 0.5.5
Sign up to get free protection for your applications and to get access to all the features.
- data/.gitignore +6 -0
- data/CHANGELOG.md +71 -0
- data/Gemfile +2 -0
- data/LICENSE +17 -0
- data/README.md +121 -0
- data/Rakefile +66 -0
- data/bench.rb +22 -0
- data/cache-lexers.rb +8 -0
- data/lexers +0 -0
- data/lib/pygments/lexer.rb +148 -0
- data/lib/pygments/mentos.py +351 -0
- data/lib/pygments/popen.rb +406 -0
- data/lib/pygments/version.rb +3 -0
- data/lib/pygments.rb +8 -0
- data/pygments.rb.gemspec +25 -0
- data/test/test_data.c +2581 -0
- data/test/test_data.py +514 -0
- data/test/test_data_generated +2582 -0
- data/test/test_pygments.rb +287 -0
- data/vendor/custom_lexers/github.py +565 -0
- data/vendor/pygments-main/AUTHORS +153 -0
- data/vendor/pygments-main/CHANGES +889 -0
- data/vendor/pygments-main/LICENSE +25 -0
- data/vendor/pygments-main/MANIFEST.in +6 -0
- data/vendor/pygments-main/Makefile +59 -0
- data/vendor/pygments-main/REVISION +1 -0
- data/vendor/pygments-main/TODO +15 -0
- data/vendor/pygments-main/docs/generate.py +472 -0
- data/vendor/pygments-main/docs/pygmentize.1 +94 -0
- data/vendor/pygments-main/docs/src/api.txt +270 -0
- data/vendor/pygments-main/docs/src/authors.txt +5 -0
- data/vendor/pygments-main/docs/src/changelog.txt +5 -0
- data/vendor/pygments-main/docs/src/cmdline.txt +147 -0
- data/vendor/pygments-main/docs/src/filterdevelopment.txt +70 -0
- data/vendor/pygments-main/docs/src/filters.txt +42 -0
- data/vendor/pygments-main/docs/src/formatterdevelopment.txt +169 -0
- data/vendor/pygments-main/docs/src/formatters.txt +48 -0
- data/vendor/pygments-main/docs/src/index.txt +69 -0
- data/vendor/pygments-main/docs/src/installation.txt +71 -0
- data/vendor/pygments-main/docs/src/integrate.txt +48 -0
- data/vendor/pygments-main/docs/src/java.txt +70 -0
- data/vendor/pygments-main/docs/src/lexerdevelopment.txt +603 -0
- data/vendor/pygments-main/docs/src/lexers.txt +67 -0
- data/vendor/pygments-main/docs/src/moinmoin.txt +39 -0
- data/vendor/pygments-main/docs/src/plugins.txt +93 -0
- data/vendor/pygments-main/docs/src/quickstart.txt +202 -0
- data/vendor/pygments-main/docs/src/rstdirective.txt +22 -0
- data/vendor/pygments-main/docs/src/styles.txt +143 -0
- data/vendor/pygments-main/docs/src/tokens.txt +349 -0
- data/vendor/pygments-main/docs/src/unicode.txt +49 -0
- data/vendor/pygments-main/external/autopygmentize +64 -0
- data/vendor/pygments-main/external/lasso-builtins-generator-9.lasso +144 -0
- data/vendor/pygments-main/external/markdown-processor.py +67 -0
- data/vendor/pygments-main/external/moin-parser.py +112 -0
- data/vendor/pygments-main/external/pygments.bashcomp +38 -0
- data/vendor/pygments-main/external/rst-directive-old.py +77 -0
- data/vendor/pygments-main/external/rst-directive.py +83 -0
- data/vendor/pygments-main/ez_setup.py +276 -0
- data/vendor/pygments-main/pygmentize +7 -0
- data/vendor/pygments-main/pygments/__init__.py +91 -0
- data/vendor/pygments-main/pygments/cmdline.py +441 -0
- data/vendor/pygments-main/pygments/console.py +74 -0
- data/vendor/pygments-main/pygments/filter.py +74 -0
- data/vendor/pygments-main/pygments/filters/__init__.py +356 -0
- data/vendor/pygments-main/pygments/formatter.py +95 -0
- data/vendor/pygments-main/pygments/formatters/__init__.py +68 -0
- data/vendor/pygments-main/pygments/formatters/_mapping.py +92 -0
- data/vendor/pygments-main/pygments/formatters/bbcode.py +109 -0
- data/vendor/pygments-main/pygments/formatters/html.py +821 -0
- data/vendor/pygments-main/pygments/formatters/img.py +553 -0
- data/vendor/pygments-main/pygments/formatters/latex.py +378 -0
- data/vendor/pygments-main/pygments/formatters/other.py +115 -0
- data/vendor/pygments-main/pygments/formatters/rtf.py +136 -0
- data/vendor/pygments-main/pygments/formatters/svg.py +154 -0
- data/vendor/pygments-main/pygments/formatters/terminal.py +112 -0
- data/vendor/pygments-main/pygments/formatters/terminal256.py +222 -0
- data/vendor/pygments-main/pygments/lexer.py +765 -0
- data/vendor/pygments-main/pygments/lexers/__init__.py +240 -0
- data/vendor/pygments-main/pygments/lexers/_asybuiltins.py +1645 -0
- data/vendor/pygments-main/pygments/lexers/_clbuiltins.py +232 -0
- data/vendor/pygments-main/pygments/lexers/_lassobuiltins.py +5172 -0
- data/vendor/pygments-main/pygments/lexers/_luabuiltins.py +249 -0
- data/vendor/pygments-main/pygments/lexers/_mapping.py +355 -0
- data/vendor/pygments-main/pygments/lexers/_openedgebuiltins.py +562 -0
- data/vendor/pygments-main/pygments/lexers/_phpbuiltins.py +3787 -0
- data/vendor/pygments-main/pygments/lexers/_postgres_builtins.py +233 -0
- data/vendor/pygments-main/pygments/lexers/_robotframeworklexer.py +557 -0
- data/vendor/pygments-main/pygments/lexers/_scilab_builtins.py +40 -0
- data/vendor/pygments-main/pygments/lexers/_sourcemodbuiltins.py +1072 -0
- data/vendor/pygments-main/pygments/lexers/_stan_builtins.py +360 -0
- data/vendor/pygments-main/pygments/lexers/_vimbuiltins.py +13 -0
- data/vendor/pygments-main/pygments/lexers/agile.py +2290 -0
- data/vendor/pygments-main/pygments/lexers/asm.py +398 -0
- data/vendor/pygments-main/pygments/lexers/compiled.py +3723 -0
- data/vendor/pygments-main/pygments/lexers/dalvik.py +104 -0
- data/vendor/pygments-main/pygments/lexers/dotnet.py +671 -0
- data/vendor/pygments-main/pygments/lexers/foxpro.py +428 -0
- data/vendor/pygments-main/pygments/lexers/functional.py +2731 -0
- data/vendor/pygments-main/pygments/lexers/github.py +565 -0
- data/vendor/pygments-main/pygments/lexers/hdl.py +356 -0
- data/vendor/pygments-main/pygments/lexers/jvm.py +1112 -0
- data/vendor/pygments-main/pygments/lexers/math.py +1918 -0
- data/vendor/pygments-main/pygments/lexers/other.py +3778 -0
- data/vendor/pygments-main/pygments/lexers/parsers.py +778 -0
- data/vendor/pygments-main/pygments/lexers/shell.py +424 -0
- data/vendor/pygments-main/pygments/lexers/special.py +100 -0
- data/vendor/pygments-main/pygments/lexers/sql.py +609 -0
- data/vendor/pygments-main/pygments/lexers/templates.py +1742 -0
- data/vendor/pygments-main/pygments/lexers/text.py +1893 -0
- data/vendor/pygments-main/pygments/lexers/web.py +4045 -0
- data/vendor/pygments-main/pygments/modeline.py +40 -0
- data/vendor/pygments-main/pygments/plugin.py +74 -0
- data/vendor/pygments-main/pygments/scanner.py +104 -0
- data/vendor/pygments-main/pygments/style.py +117 -0
- data/vendor/pygments-main/pygments/styles/__init__.py +70 -0
- data/vendor/pygments-main/pygments/styles/autumn.py +65 -0
- data/vendor/pygments-main/pygments/styles/borland.py +51 -0
- data/vendor/pygments-main/pygments/styles/bw.py +49 -0
- data/vendor/pygments-main/pygments/styles/colorful.py +81 -0
- data/vendor/pygments-main/pygments/styles/default.py +73 -0
- data/vendor/pygments-main/pygments/styles/emacs.py +72 -0
- data/vendor/pygments-main/pygments/styles/friendly.py +72 -0
- data/vendor/pygments-main/pygments/styles/fruity.py +42 -0
- data/vendor/pygments-main/pygments/styles/manni.py +75 -0
- data/vendor/pygments-main/pygments/styles/monokai.py +106 -0
- data/vendor/pygments-main/pygments/styles/murphy.py +80 -0
- data/vendor/pygments-main/pygments/styles/native.py +65 -0
- data/vendor/pygments-main/pygments/styles/pastie.py +75 -0
- data/vendor/pygments-main/pygments/styles/perldoc.py +69 -0
- data/vendor/pygments-main/pygments/styles/rrt.py +33 -0
- data/vendor/pygments-main/pygments/styles/tango.py +141 -0
- data/vendor/pygments-main/pygments/styles/trac.py +63 -0
- data/vendor/pygments-main/pygments/styles/vim.py +63 -0
- data/vendor/pygments-main/pygments/styles/vs.py +38 -0
- data/vendor/pygments-main/pygments/token.py +195 -0
- data/vendor/pygments-main/pygments/unistring.py +140 -0
- data/vendor/pygments-main/pygments/util.py +277 -0
- data/vendor/pygments-main/scripts/check_sources.py +242 -0
- data/vendor/pygments-main/scripts/detect_missing_analyse_text.py +32 -0
- data/vendor/pygments-main/scripts/epydoc.css +280 -0
- data/vendor/pygments-main/scripts/find_codetags.py +205 -0
- data/vendor/pygments-main/scripts/find_error.py +170 -0
- data/vendor/pygments-main/scripts/get_vimkw.py +43 -0
- data/vendor/pygments-main/scripts/pylintrc +301 -0
- data/vendor/pygments-main/scripts/reindent.py +291 -0
- data/vendor/pygments-main/scripts/vim2pygments.py +933 -0
- data/vendor/pygments-main/setup.cfg +7 -0
- data/vendor/pygments-main/setup.py +90 -0
- data/vendor/pygments-main/tests/dtds/HTML4-f.dtd +37 -0
- data/vendor/pygments-main/tests/dtds/HTML4-s.dtd +869 -0
- data/vendor/pygments-main/tests/dtds/HTML4.dcl +88 -0
- data/vendor/pygments-main/tests/dtds/HTML4.dtd +1092 -0
- data/vendor/pygments-main/tests/dtds/HTML4.soc +9 -0
- data/vendor/pygments-main/tests/dtds/HTMLlat1.ent +195 -0
- data/vendor/pygments-main/tests/dtds/HTMLspec.ent +77 -0
- data/vendor/pygments-main/tests/dtds/HTMLsym.ent +241 -0
- data/vendor/pygments-main/tests/examplefiles/ANTLRv3.g +608 -0
- data/vendor/pygments-main/tests/examplefiles/AcidStateAdvanced.hs +209 -0
- data/vendor/pygments-main/tests/examplefiles/AlternatingGroup.mu +102 -0
- data/vendor/pygments-main/tests/examplefiles/BOM.js +1 -0
- data/vendor/pygments-main/tests/examplefiles/CPDictionary.j +611 -0
- data/vendor/pygments-main/tests/examplefiles/Config.in.cache +1973 -0
- data/vendor/pygments-main/tests/examplefiles/Constants.mo +158 -0
- data/vendor/pygments-main/tests/examplefiles/DancingSudoku.lhs +411 -0
- data/vendor/pygments-main/tests/examplefiles/Deflate.fs +578 -0
- data/vendor/pygments-main/tests/examplefiles/Errors.scala +18 -0
- data/vendor/pygments-main/tests/examplefiles/File.hy +174 -0
- data/vendor/pygments-main/tests/examplefiles/Get-CommandDefinitionHtml.ps1 +66 -0
- data/vendor/pygments-main/tests/examplefiles/IPDispatchC.nc +104 -0
- data/vendor/pygments-main/tests/examplefiles/IPDispatchP.nc +671 -0
- data/vendor/pygments-main/tests/examplefiles/Intro.java +1660 -0
- data/vendor/pygments-main/tests/examplefiles/Makefile +1131 -0
- data/vendor/pygments-main/tests/examplefiles/Object.st +4394 -0
- data/vendor/pygments-main/tests/examplefiles/OrderedMap.hx +584 -0
- data/vendor/pygments-main/tests/examplefiles/RoleQ.pm6 +23 -0
- data/vendor/pygments-main/tests/examplefiles/SmallCheck.hs +378 -0
- data/vendor/pygments-main/tests/examplefiles/Sorting.mod +470 -0
- data/vendor/pygments-main/tests/examplefiles/Sudoku.lhs +382 -0
- data/vendor/pygments-main/tests/examplefiles/addressbook.proto +30 -0
- data/vendor/pygments-main/tests/examplefiles/antlr_throws +1 -0
- data/vendor/pygments-main/tests/examplefiles/apache2.conf +393 -0
- data/vendor/pygments-main/tests/examplefiles/as3_test.as +143 -0
- data/vendor/pygments-main/tests/examplefiles/as3_test2.as +46 -0
- data/vendor/pygments-main/tests/examplefiles/as3_test3.as +3 -0
- data/vendor/pygments-main/tests/examplefiles/aspx-cs_example +27 -0
- data/vendor/pygments-main/tests/examplefiles/autoit_submit.au3 +25 -0
- data/vendor/pygments-main/tests/examplefiles/badcase.java +2 -0
- data/vendor/pygments-main/tests/examplefiles/batchfile.bat +49 -0
- data/vendor/pygments-main/tests/examplefiles/bigtest.nsi +308 -0
- data/vendor/pygments-main/tests/examplefiles/boot-9.scm +1557 -0
- data/vendor/pygments-main/tests/examplefiles/ca65_example +284 -0
- data/vendor/pygments-main/tests/examplefiles/cbmbas_example +9 -0
- data/vendor/pygments-main/tests/examplefiles/cells.ps +515 -0
- data/vendor/pygments-main/tests/examplefiles/ceval.c +2604 -0
- data/vendor/pygments-main/tests/examplefiles/cheetah_example.html +13 -0
- data/vendor/pygments-main/tests/examplefiles/classes.dylan +125 -0
- data/vendor/pygments-main/tests/examplefiles/condensed_ruby.rb +10 -0
- data/vendor/pygments-main/tests/examplefiles/coq_RelationClasses +447 -0
- data/vendor/pygments-main/tests/examplefiles/database.pytb +20 -0
- data/vendor/pygments-main/tests/examplefiles/de.MoinMoin.po +2461 -0
- data/vendor/pygments-main/tests/examplefiles/demo.ahk +181 -0
- data/vendor/pygments-main/tests/examplefiles/demo.cfm +38 -0
- data/vendor/pygments-main/tests/examplefiles/django_sample.html+django +68 -0
- data/vendor/pygments-main/tests/examplefiles/dwarf.cw +17 -0
- data/vendor/pygments-main/tests/examplefiles/erl_session +10 -0
- data/vendor/pygments-main/tests/examplefiles/escape_semicolon.clj +1 -0
- data/vendor/pygments-main/tests/examplefiles/evil_regex.js +48 -0
- data/vendor/pygments-main/tests/examplefiles/example.Rd +78 -0
- data/vendor/pygments-main/tests/examplefiles/example.bug +54 -0
- data/vendor/pygments-main/tests/examplefiles/example.c +2080 -0
- data/vendor/pygments-main/tests/examplefiles/example.ceylon +52 -0
- data/vendor/pygments-main/tests/examplefiles/example.clay +33 -0
- data/vendor/pygments-main/tests/examplefiles/example.cls +15 -0
- data/vendor/pygments-main/tests/examplefiles/example.cob +3556 -0
- data/vendor/pygments-main/tests/examplefiles/example.cpp +2363 -0
- data/vendor/pygments-main/tests/examplefiles/example.gs +106 -0
- data/vendor/pygments-main/tests/examplefiles/example.gst +7 -0
- data/vendor/pygments-main/tests/examplefiles/example.hx +142 -0
- data/vendor/pygments-main/tests/examplefiles/example.jag +48 -0
- data/vendor/pygments-main/tests/examplefiles/example.kt +47 -0
- data/vendor/pygments-main/tests/examplefiles/example.lagda +19 -0
- data/vendor/pygments-main/tests/examplefiles/example.lua +250 -0
- data/vendor/pygments-main/tests/examplefiles/example.monkey +152 -0
- data/vendor/pygments-main/tests/examplefiles/example.moo +26 -0
- data/vendor/pygments-main/tests/examplefiles/example.moon +629 -0
- data/vendor/pygments-main/tests/examplefiles/example.msc +43 -0
- data/vendor/pygments-main/tests/examplefiles/example.nim +1010 -0
- data/vendor/pygments-main/tests/examplefiles/example.ns2 +69 -0
- data/vendor/pygments-main/tests/examplefiles/example.p +34 -0
- data/vendor/pygments-main/tests/examplefiles/example.pas +2708 -0
- data/vendor/pygments-main/tests/examplefiles/example.prg +161 -0
- data/vendor/pygments-main/tests/examplefiles/example.rb +1852 -0
- data/vendor/pygments-main/tests/examplefiles/example.reg +19 -0
- data/vendor/pygments-main/tests/examplefiles/example.rexx +50 -0
- data/vendor/pygments-main/tests/examplefiles/example.rhtml +561 -0
- data/vendor/pygments-main/tests/examplefiles/example.rkt +95 -0
- data/vendor/pygments-main/tests/examplefiles/example.rpf +4 -0
- data/vendor/pygments-main/tests/examplefiles/example.sh-session +19 -0
- data/vendor/pygments-main/tests/examplefiles/example.shell-session +45 -0
- data/vendor/pygments-main/tests/examplefiles/example.sml +156 -0
- data/vendor/pygments-main/tests/examplefiles/example.snobol +15 -0
- data/vendor/pygments-main/tests/examplefiles/example.stan +108 -0
- data/vendor/pygments-main/tests/examplefiles/example.tea +34 -0
- data/vendor/pygments-main/tests/examplefiles/example.ts +28 -0
- data/vendor/pygments-main/tests/examplefiles/example.u +548 -0
- data/vendor/pygments-main/tests/examplefiles/example.weechatlog +9 -0
- data/vendor/pygments-main/tests/examplefiles/example.xhtml +376 -0
- data/vendor/pygments-main/tests/examplefiles/example.xtend +34 -0
- data/vendor/pygments-main/tests/examplefiles/example.yaml +302 -0
- data/vendor/pygments-main/tests/examplefiles/example2.aspx +29 -0
- data/vendor/pygments-main/tests/examplefiles/example2.msc +79 -0
- data/vendor/pygments-main/tests/examplefiles/example_elixir.ex +363 -0
- data/vendor/pygments-main/tests/examplefiles/example_file.fy +128 -0
- data/vendor/pygments-main/tests/examplefiles/firefox.mak +586 -0
- data/vendor/pygments-main/tests/examplefiles/flipflop.sv +19 -0
- data/vendor/pygments-main/tests/examplefiles/foo.sce +6 -0
- data/vendor/pygments-main/tests/examplefiles/format.ml +1213 -0
- data/vendor/pygments-main/tests/examplefiles/fucked_up.rb +77 -0
- data/vendor/pygments-main/tests/examplefiles/function.mu +1 -0
- data/vendor/pygments-main/tests/examplefiles/functional.rst +1472 -0
- data/vendor/pygments-main/tests/examplefiles/garcia-wachs.kk +133 -0
- data/vendor/pygments-main/tests/examplefiles/genclass.clj +510 -0
- data/vendor/pygments-main/tests/examplefiles/genshi_example.xml+genshi +193 -0
- data/vendor/pygments-main/tests/examplefiles/genshitext_example.genshitext +33 -0
- data/vendor/pygments-main/tests/examplefiles/glsl.frag +7 -0
- data/vendor/pygments-main/tests/examplefiles/glsl.vert +13 -0
- data/vendor/pygments-main/tests/examplefiles/grammar-test.p6 +22 -0
- data/vendor/pygments-main/tests/examplefiles/hello.smali +40 -0
- data/vendor/pygments-main/tests/examplefiles/hello.sp +9 -0
- data/vendor/pygments-main/tests/examplefiles/html+php_faulty.php +1 -0
- data/vendor/pygments-main/tests/examplefiles/http_request_example +15 -0
- data/vendor/pygments-main/tests/examplefiles/http_response_example +29 -0
- data/vendor/pygments-main/tests/examplefiles/import.hs +4 -0
- data/vendor/pygments-main/tests/examplefiles/inet_pton6.dg +71 -0
- data/vendor/pygments-main/tests/examplefiles/intro.ik +24 -0
- data/vendor/pygments-main/tests/examplefiles/ints.php +10 -0
- data/vendor/pygments-main/tests/examplefiles/intsyn.fun +675 -0
- data/vendor/pygments-main/tests/examplefiles/intsyn.sig +286 -0
- data/vendor/pygments-main/tests/examplefiles/irb_heredoc +8 -0
- data/vendor/pygments-main/tests/examplefiles/irc.lsp +214 -0
- data/vendor/pygments-main/tests/examplefiles/java.properties +16 -0
- data/vendor/pygments-main/tests/examplefiles/jbst_example1.jbst +28 -0
- data/vendor/pygments-main/tests/examplefiles/jbst_example2.jbst +45 -0
- data/vendor/pygments-main/tests/examplefiles/jinjadesignerdoc.rst +713 -0
- data/vendor/pygments-main/tests/examplefiles/json.lasso +301 -0
- data/vendor/pygments-main/tests/examplefiles/json.lasso9 +213 -0
- data/vendor/pygments-main/tests/examplefiles/lighttpd_config.conf +13 -0
- data/vendor/pygments-main/tests/examplefiles/linecontinuation.py +47 -0
- data/vendor/pygments-main/tests/examplefiles/livescript-demo.ls +41 -0
- data/vendor/pygments-main/tests/examplefiles/logos_example.xm +28 -0
- data/vendor/pygments-main/tests/examplefiles/ltmain.sh +2849 -0
- data/vendor/pygments-main/tests/examplefiles/main.cmake +42 -0
- data/vendor/pygments-main/tests/examplefiles/markdown.lsp +679 -0
- data/vendor/pygments-main/tests/examplefiles/matlab_noreturn +3 -0
- data/vendor/pygments-main/tests/examplefiles/matlab_sample +30 -0
- data/vendor/pygments-main/tests/examplefiles/matlabsession_sample.txt +37 -0
- data/vendor/pygments-main/tests/examplefiles/metagrammar.treetop +455 -0
- data/vendor/pygments-main/tests/examplefiles/mg_sample.pro +73 -0
- data/vendor/pygments-main/tests/examplefiles/minehunt.qml +112 -0
- data/vendor/pygments-main/tests/examplefiles/minimal.ns2 +4 -0
- data/vendor/pygments-main/tests/examplefiles/moin_SyntaxReference.txt +340 -0
- data/vendor/pygments-main/tests/examplefiles/multiline_regexes.rb +38 -0
- data/vendor/pygments-main/tests/examplefiles/nanomsg.intr +95 -0
- data/vendor/pygments-main/tests/examplefiles/nasm_aoutso.asm +96 -0
- data/vendor/pygments-main/tests/examplefiles/nasm_objexe.asm +30 -0
- data/vendor/pygments-main/tests/examplefiles/nemerle_sample.n +87 -0
- data/vendor/pygments-main/tests/examplefiles/nginx_nginx.conf +118 -0
- data/vendor/pygments-main/tests/examplefiles/numbers.c +12 -0
- data/vendor/pygments-main/tests/examplefiles/objc_example.m +32 -0
- data/vendor/pygments-main/tests/examplefiles/objc_example2.m +24 -0
- data/vendor/pygments-main/tests/examplefiles/perl_misc +62 -0
- data/vendor/pygments-main/tests/examplefiles/perl_perl5db +998 -0
- data/vendor/pygments-main/tests/examplefiles/perl_regex-delims +120 -0
- data/vendor/pygments-main/tests/examplefiles/perlfunc.1 +856 -0
- data/vendor/pygments-main/tests/examplefiles/phpMyAdmin.spec +163 -0
- data/vendor/pygments-main/tests/examplefiles/phpcomplete.vim +567 -0
- data/vendor/pygments-main/tests/examplefiles/pleac.in.rb +1223 -0
- data/vendor/pygments-main/tests/examplefiles/postgresql_test.txt +47 -0
- data/vendor/pygments-main/tests/examplefiles/pppoe.applescript +10 -0
- data/vendor/pygments-main/tests/examplefiles/psql_session.txt +122 -0
- data/vendor/pygments-main/tests/examplefiles/py3_test.txt +2 -0
- data/vendor/pygments-main/tests/examplefiles/py3tb_test.py3tb +4 -0
- data/vendor/pygments-main/tests/examplefiles/pycon_test.pycon +14 -0
- data/vendor/pygments-main/tests/examplefiles/pytb_test2.pytb +2 -0
- data/vendor/pygments-main/tests/examplefiles/pytb_test3.pytb +4 -0
- data/vendor/pygments-main/tests/examplefiles/python25-bsd.mak +234 -0
- data/vendor/pygments-main/tests/examplefiles/qsort.prolog +13 -0
- data/vendor/pygments-main/tests/examplefiles/r-console-transcript.Rout +38 -0
- data/vendor/pygments-main/tests/examplefiles/ragel-cpp_rlscan +280 -0
- data/vendor/pygments-main/tests/examplefiles/ragel-cpp_snippet +2 -0
- data/vendor/pygments-main/tests/examplefiles/regex.js +22 -0
- data/vendor/pygments-main/tests/examplefiles/reversi.lsp +427 -0
- data/vendor/pygments-main/tests/examplefiles/robotframework.txt +39 -0
- data/vendor/pygments-main/tests/examplefiles/ruby_func_def.rb +11 -0
- data/vendor/pygments-main/tests/examplefiles/rust_example.rs +233 -0
- data/vendor/pygments-main/tests/examplefiles/scilab.sci +30 -0
- data/vendor/pygments-main/tests/examplefiles/session.dylan-console +9 -0
- data/vendor/pygments-main/tests/examplefiles/sibling.prolog +19 -0
- data/vendor/pygments-main/tests/examplefiles/simple.md +747 -0
- data/vendor/pygments-main/tests/examplefiles/smarty_example.html +209 -0
- data/vendor/pygments-main/tests/examplefiles/source.lgt +343 -0
- data/vendor/pygments-main/tests/examplefiles/sources.list +62 -0
- data/vendor/pygments-main/tests/examplefiles/sphere.pov +18 -0
- data/vendor/pygments-main/tests/examplefiles/sqlite3.sqlite3-console +27 -0
- data/vendor/pygments-main/tests/examplefiles/squid.conf +30 -0
- data/vendor/pygments-main/tests/examplefiles/string.jl +1031 -0
- data/vendor/pygments-main/tests/examplefiles/string_delimiters.d +21 -0
- data/vendor/pygments-main/tests/examplefiles/stripheredoc.sh +3 -0
- data/vendor/pygments-main/tests/examplefiles/swig_java.swg +1329 -0
- data/vendor/pygments-main/tests/examplefiles/swig_std_vector.i +225 -0
- data/vendor/pygments-main/tests/examplefiles/test.R +153 -0
- data/vendor/pygments-main/tests/examplefiles/test.adb +211 -0
- data/vendor/pygments-main/tests/examplefiles/test.agda +102 -0
- data/vendor/pygments-main/tests/examplefiles/test.asy +131 -0
- data/vendor/pygments-main/tests/examplefiles/test.awk +121 -0
- data/vendor/pygments-main/tests/examplefiles/test.bas +29 -0
- data/vendor/pygments-main/tests/examplefiles/test.bb +95 -0
- data/vendor/pygments-main/tests/examplefiles/test.bmx +145 -0
- data/vendor/pygments-main/tests/examplefiles/test.boo +39 -0
- data/vendor/pygments-main/tests/examplefiles/test.bro +250 -0
- data/vendor/pygments-main/tests/examplefiles/test.cs +374 -0
- data/vendor/pygments-main/tests/examplefiles/test.css +54 -0
- data/vendor/pygments-main/tests/examplefiles/test.cu +36 -0
- data/vendor/pygments-main/tests/examplefiles/test.d +135 -0
- data/vendor/pygments-main/tests/examplefiles/test.dart +23 -0
- data/vendor/pygments-main/tests/examplefiles/test.dtd +89 -0
- data/vendor/pygments-main/tests/examplefiles/test.ebnf +31 -0
- data/vendor/pygments-main/tests/examplefiles/test.ec +605 -0
- data/vendor/pygments-main/tests/examplefiles/test.ecl +58 -0
- data/vendor/pygments-main/tests/examplefiles/test.eh +315 -0
- data/vendor/pygments-main/tests/examplefiles/test.erl +169 -0
- data/vendor/pygments-main/tests/examplefiles/test.evoque +33 -0
- data/vendor/pygments-main/tests/examplefiles/test.fan +818 -0
- data/vendor/pygments-main/tests/examplefiles/test.flx +57 -0
- data/vendor/pygments-main/tests/examplefiles/test.gdc +13 -0
- data/vendor/pygments-main/tests/examplefiles/test.groovy +97 -0
- data/vendor/pygments-main/tests/examplefiles/test.html +339 -0
- data/vendor/pygments-main/tests/examplefiles/test.ini +10 -0
- data/vendor/pygments-main/tests/examplefiles/test.java +653 -0
- data/vendor/pygments-main/tests/examplefiles/test.jsp +24 -0
- data/vendor/pygments-main/tests/examplefiles/test.maql +45 -0
- data/vendor/pygments-main/tests/examplefiles/test.mod +374 -0
- data/vendor/pygments-main/tests/examplefiles/test.moo +51 -0
- data/vendor/pygments-main/tests/examplefiles/test.myt +166 -0
- data/vendor/pygments-main/tests/examplefiles/test.nim +93 -0
- data/vendor/pygments-main/tests/examplefiles/test.opa +10 -0
- data/vendor/pygments-main/tests/examplefiles/test.p6 +252 -0
- data/vendor/pygments-main/tests/examplefiles/test.pas +743 -0
- data/vendor/pygments-main/tests/examplefiles/test.php +505 -0
- data/vendor/pygments-main/tests/examplefiles/test.plot +333 -0
- data/vendor/pygments-main/tests/examplefiles/test.ps1 +108 -0
- data/vendor/pygments-main/tests/examplefiles/test.pypylog +1839 -0
- data/vendor/pygments-main/tests/examplefiles/test.r3 +94 -0
- data/vendor/pygments-main/tests/examplefiles/test.rb +177 -0
- data/vendor/pygments-main/tests/examplefiles/test.rhtml +43 -0
- data/vendor/pygments-main/tests/examplefiles/test.scaml +8 -0
- data/vendor/pygments-main/tests/examplefiles/test.ssp +12 -0
- data/vendor/pygments-main/tests/examplefiles/test.tcsh +830 -0
- data/vendor/pygments-main/tests/examplefiles/test.vb +407 -0
- data/vendor/pygments-main/tests/examplefiles/test.vhdl +161 -0
- data/vendor/pygments-main/tests/examplefiles/test.xqy +138 -0
- data/vendor/pygments-main/tests/examplefiles/test.xsl +23 -0
- data/vendor/pygments-main/tests/examplefiles/test2.pypylog +120 -0
- data/vendor/pygments-main/tests/examplefiles/truncated.pytb +15 -0
- data/vendor/pygments-main/tests/examplefiles/type.lisp +1218 -0
- data/vendor/pygments-main/tests/examplefiles/underscore.coffee +603 -0
- data/vendor/pygments-main/tests/examplefiles/unicode.applescript +5 -0
- data/vendor/pygments-main/tests/examplefiles/unicodedoc.py +11 -0
- data/vendor/pygments-main/tests/examplefiles/unix-io.lid +37 -0
- data/vendor/pygments-main/tests/examplefiles/webkit-transition.css +3 -0
- data/vendor/pygments-main/tests/examplefiles/while.pov +13 -0
- data/vendor/pygments-main/tests/examplefiles/wiki.factor +384 -0
- data/vendor/pygments-main/tests/examplefiles/xml_example +1897 -0
- data/vendor/pygments-main/tests/examplefiles/zmlrpc.f90 +798 -0
- data/vendor/pygments-main/tests/old_run.py +138 -0
- data/vendor/pygments-main/tests/run.py +49 -0
- data/vendor/pygments-main/tests/support/tags +36 -0
- data/vendor/pygments-main/tests/support.py +15 -0
- data/vendor/pygments-main/tests/test_basic_api.py +295 -0
- data/vendor/pygments-main/tests/test_clexer.py +31 -0
- data/vendor/pygments-main/tests/test_cmdline.py +105 -0
- data/vendor/pygments-main/tests/test_examplefiles.py +99 -0
- data/vendor/pygments-main/tests/test_html_formatter.py +178 -0
- data/vendor/pygments-main/tests/test_latex_formatter.py +55 -0
- data/vendor/pygments-main/tests/test_lexers_other.py +68 -0
- data/vendor/pygments-main/tests/test_perllexer.py +137 -0
- data/vendor/pygments-main/tests/test_regexlexer.py +47 -0
- data/vendor/pygments-main/tests/test_token.py +46 -0
- data/vendor/pygments-main/tests/test_using_api.py +40 -0
- data/vendor/pygments-main/tests/test_util.py +135 -0
- data/vendor/simplejson/.gitignore +10 -0
- data/vendor/simplejson/.travis.yml +5 -0
- data/vendor/simplejson/CHANGES.txt +291 -0
- data/vendor/simplejson/LICENSE.txt +19 -0
- data/vendor/simplejson/MANIFEST.in +5 -0
- data/vendor/simplejson/README.rst +19 -0
- data/vendor/simplejson/conf.py +179 -0
- data/vendor/simplejson/index.rst +628 -0
- data/vendor/simplejson/scripts/make_docs.py +18 -0
- data/vendor/simplejson/setup.py +104 -0
- data/vendor/simplejson/simplejson/__init__.py +510 -0
- data/vendor/simplejson/simplejson/_speedups.c +2745 -0
- data/vendor/simplejson/simplejson/decoder.py +425 -0
- data/vendor/simplejson/simplejson/encoder.py +567 -0
- data/vendor/simplejson/simplejson/ordered_dict.py +119 -0
- data/vendor/simplejson/simplejson/scanner.py +77 -0
- data/vendor/simplejson/simplejson/tests/__init__.py +67 -0
- data/vendor/simplejson/simplejson/tests/test_bigint_as_string.py +55 -0
- data/vendor/simplejson/simplejson/tests/test_check_circular.py +30 -0
- data/vendor/simplejson/simplejson/tests/test_decimal.py +66 -0
- data/vendor/simplejson/simplejson/tests/test_decode.py +83 -0
- data/vendor/simplejson/simplejson/tests/test_default.py +9 -0
- data/vendor/simplejson/simplejson/tests/test_dump.py +67 -0
- data/vendor/simplejson/simplejson/tests/test_encode_basestring_ascii.py +46 -0
- data/vendor/simplejson/simplejson/tests/test_encode_for_html.py +32 -0
- data/vendor/simplejson/simplejson/tests/test_errors.py +34 -0
- data/vendor/simplejson/simplejson/tests/test_fail.py +91 -0
- data/vendor/simplejson/simplejson/tests/test_float.py +19 -0
- data/vendor/simplejson/simplejson/tests/test_indent.py +86 -0
- data/vendor/simplejson/simplejson/tests/test_item_sort_key.py +20 -0
- data/vendor/simplejson/simplejson/tests/test_namedtuple.py +121 -0
- data/vendor/simplejson/simplejson/tests/test_pass1.py +76 -0
- data/vendor/simplejson/simplejson/tests/test_pass2.py +14 -0
- data/vendor/simplejson/simplejson/tests/test_pass3.py +20 -0
- data/vendor/simplejson/simplejson/tests/test_recursion.py +67 -0
- data/vendor/simplejson/simplejson/tests/test_scanstring.py +117 -0
- data/vendor/simplejson/simplejson/tests/test_separators.py +42 -0
- data/vendor/simplejson/simplejson/tests/test_speedups.py +20 -0
- data/vendor/simplejson/simplejson/tests/test_tuple.py +49 -0
- data/vendor/simplejson/simplejson/tests/test_unicode.py +109 -0
- data/vendor/simplejson/simplejson/tool.py +39 -0
- metadata +566 -0
@@ -0,0 +1,209 @@
|
|
1
|
+
{-# LANGUAGE DeriveDataTypeable, FlexibleContexts, GeneralizedNewtypeDeriving
|
2
|
+
, MultiParamTypeClasses, OverloadedStrings, ScopedTypeVariables, TemplateHaskell
|
3
|
+
, TypeFamilies, FlexibleInstances #-}
|
4
|
+
module Main where
|
5
|
+
import Control.Applicative (Applicative, Alternative, (<$>))
|
6
|
+
import Control.Exception.Lifted (bracket)
|
7
|
+
import Control.Monad.Trans.Control (MonadBaseControl)
|
8
|
+
import Control.Monad (MonadPlus, mplus)
|
9
|
+
import Control.Monad.Reader (MonadReader, ReaderT(..), ask)
|
10
|
+
import Control.Monad.Trans (MonadIO(..))
|
11
|
+
import Data.Acid ( AcidState(..), EventState(..), EventResult(..)
|
12
|
+
, Query(..), QueryEvent(..), Update(..), UpdateEvent(..)
|
13
|
+
, IsAcidic(..), makeAcidic, openLocalState
|
14
|
+
)
|
15
|
+
import Data.Acid.Local ( createCheckpointAndClose
|
16
|
+
, openLocalStateFrom
|
17
|
+
)
|
18
|
+
import Data.Acid.Advanced (query', update')
|
19
|
+
import Data.Maybe (fromMaybe)
|
20
|
+
import Data.SafeCopy (SafeCopy, base, deriveSafeCopy)
|
21
|
+
import Data.Data (Data, Typeable)
|
22
|
+
import Data.Lens ((%=), (!=))
|
23
|
+
import Data.Lens.Template (makeLens)
|
24
|
+
import Data.Text.Lazy (Text)
|
25
|
+
import Happstack.Server ( Happstack, HasRqData, Method(GET, POST), Request(rqMethod)
|
26
|
+
, Response
|
27
|
+
, ServerPartT(..), WebMonad, FilterMonad, ServerMonad
|
28
|
+
, askRq, decodeBody, dir, defaultBodyPolicy, lookText
|
29
|
+
, mapServerPartT, nullConf, nullDir, ok, simpleHTTP
|
30
|
+
, toResponse
|
31
|
+
)
|
32
|
+
import Prelude hiding (head, id)
|
33
|
+
import System.FilePath ((</>))
|
34
|
+
import Text.Blaze ((!))
|
35
|
+
import Text.Blaze.Html4.Strict (body, head, html, input, form, label, p, title, toHtml)
|
36
|
+
import Text.Blaze.Html4.Strict.Attributes (action, enctype, for, id, method, name, type_, value)
|
37
|
+
class HasAcidState m st where
|
38
|
+
getAcidState :: m (AcidState st)
|
39
|
+
query :: forall event m.
|
40
|
+
( Functor m
|
41
|
+
, MonadIO m
|
42
|
+
, QueryEvent event
|
43
|
+
, HasAcidState m (EventState event)
|
44
|
+
) =>
|
45
|
+
event
|
46
|
+
-> m (EventResult event)
|
47
|
+
query event =
|
48
|
+
do as <- getAcidState
|
49
|
+
query' (as :: AcidState (EventState event)) event
|
50
|
+
update :: forall event m.
|
51
|
+
( Functor m
|
52
|
+
, MonadIO m
|
53
|
+
, UpdateEvent event
|
54
|
+
, HasAcidState m (EventState event)
|
55
|
+
) =>
|
56
|
+
event
|
57
|
+
-> m (EventResult event)
|
58
|
+
update event =
|
59
|
+
do as <- getAcidState
|
60
|
+
update' (as :: AcidState (EventState event)) event
|
61
|
+
-- | bracket the opening and close of the `AcidState` handle.
|
62
|
+
|
63
|
+
-- automatically creates a checkpoint on close
|
64
|
+
withLocalState :: (MonadBaseControl IO m, MonadIO m, IsAcidic st, Typeable st) =>
|
65
|
+
Maybe FilePath -- ^ path to state directory
|
66
|
+
-> st -- ^ initial state value
|
67
|
+
-> (AcidState st -> m a) -- ^ function which uses the `AcidState` handle
|
68
|
+
-> m a
|
69
|
+
withLocalState mPath initialState =
|
70
|
+
bracket (liftIO $ (maybe openLocalState openLocalStateFrom mPath) initialState)
|
71
|
+
(liftIO . createCheckpointAndClose)
|
72
|
+
-- State that stores a hit count
|
73
|
+
|
74
|
+
data CountState = CountState { _count :: Integer }
|
75
|
+
deriving (Eq, Ord, Data, Typeable, Show)
|
76
|
+
|
77
|
+
$(deriveSafeCopy 0 'base ''CountState)
|
78
|
+
$(makeLens ''CountState)
|
79
|
+
|
80
|
+
initialCountState :: CountState
|
81
|
+
initialCountState = CountState { _count = 0 }
|
82
|
+
|
83
|
+
incCount :: Update CountState Integer
|
84
|
+
incCount = count %= succ
|
85
|
+
|
86
|
+
$(makeAcidic ''CountState ['incCount])
|
87
|
+
-- State that stores a greeting
|
88
|
+
data GreetingState = GreetingState { _greeting :: Text }
|
89
|
+
deriving (Eq, Ord, Data, Typeable, Show)
|
90
|
+
|
91
|
+
$(deriveSafeCopy 0 'base ''GreetingState)
|
92
|
+
$(makeLens ''GreetingState)
|
93
|
+
|
94
|
+
initialGreetingState :: GreetingState
|
95
|
+
initialGreetingState = GreetingState { _greeting = "Hello" }
|
96
|
+
|
97
|
+
getGreeting :: Query GreetingState Text
|
98
|
+
getGreeting = _greeting <$> ask
|
99
|
+
|
100
|
+
setGreeting :: Text -> Update GreetingState Text
|
101
|
+
setGreeting txt = greeting != txt
|
102
|
+
|
103
|
+
$(makeAcidic ''GreetingState ['getGreeting, 'setGreeting])
|
104
|
+
data Acid = Acid { acidCountState :: AcidState CountState
|
105
|
+
, acidGreetingState :: AcidState GreetingState
|
106
|
+
}
|
107
|
+
|
108
|
+
withAcid :: Maybe FilePath -> (Acid -> IO a) -> IO a
|
109
|
+
withAcid mBasePath action =
|
110
|
+
let basePath = fromMaybe "_state" mBasePath
|
111
|
+
in withLocalState (Just $ basePath </> "count") initialCountState $ \c ->
|
112
|
+
withLocalState (Just $ basePath </> "greeting") initialGreetingState $ \g ->
|
113
|
+
action (Acid c g)
|
114
|
+
newtype App a = App { unApp :: ServerPartT (ReaderT Acid IO) a }
|
115
|
+
deriving ( Functor, Alternative, Applicative, Monad, MonadPlus, MonadIO
|
116
|
+
, HasRqData, ServerMonad ,WebMonad Response, FilterMonad Response
|
117
|
+
, Happstack, MonadReader Acid)
|
118
|
+
|
119
|
+
runApp :: Acid -> App a -> ServerPartT IO a
|
120
|
+
runApp acid (App sp) = mapServerPartT (flip runReaderT acid) sp
|
121
|
+
instance HasAcidState App CountState where
|
122
|
+
getAcidState = acidCountState <$> ask
|
123
|
+
|
124
|
+
instance HasAcidState App GreetingState where
|
125
|
+
getAcidState = acidGreetingState <$> ask
|
126
|
+
page :: App Response
|
127
|
+
page =
|
128
|
+
do nullDir
|
129
|
+
g <- greet
|
130
|
+
c <- update IncCount -- ^ a CountState event
|
131
|
+
ok $ toResponse $
|
132
|
+
html $ do
|
133
|
+
head $ do
|
134
|
+
title "acid-state demo"
|
135
|
+
body $ do
|
136
|
+
form ! action "/" ! method "POST" ! enctype "multipart/form-data" $ do
|
137
|
+
label "new message: " ! for "msg"
|
138
|
+
input ! type_ "text" ! id "msg" ! name "greeting"
|
139
|
+
input ! type_ "submit" ! value "update message"
|
140
|
+
p $ toHtml g
|
141
|
+
p $ do "This page has been loaded "
|
142
|
+
toHtml c
|
143
|
+
" time(s)."
|
144
|
+
where
|
145
|
+
greet =
|
146
|
+
do m <- rqMethod <$> askRq
|
147
|
+
case m of
|
148
|
+
POST ->
|
149
|
+
do decodeBody (defaultBodyPolicy "/tmp/" 0 1000 1000)
|
150
|
+
newGreeting <- lookText "greeting"
|
151
|
+
update (SetGreeting newGreeting) -- ^ a GreetingState event
|
152
|
+
return newGreeting
|
153
|
+
GET ->
|
154
|
+
do query GetGreeting -- ^ a GreetingState event
|
155
|
+
main :: IO ()
|
156
|
+
main =
|
157
|
+
withAcid Nothing $ \acid ->
|
158
|
+
simpleHTTP nullConf $ runApp acid page
|
159
|
+
newtype FooState = FooState { foo :: Text }
|
160
|
+
deriving (Eq, Ord, Data, Typeable, SafeCopy)
|
161
|
+
|
162
|
+
initialFooState :: FooState
|
163
|
+
initialFooState = FooState { foo = "foo" }
|
164
|
+
|
165
|
+
askFoo :: Query FooState Text
|
166
|
+
askFoo = foo <$> ask
|
167
|
+
|
168
|
+
$(makeAcidic ''FooState ['askFoo])
|
169
|
+
fooPlugin :: (Happstack m, HasAcidState m FooState) => m Response
|
170
|
+
fooPlugin =
|
171
|
+
dir "foo" $ do
|
172
|
+
txt <- query AskFoo
|
173
|
+
ok $ toResponse txt
|
174
|
+
data Acid' = Acid' { acidCountState' :: AcidState CountState
|
175
|
+
, acidGreetingState' :: AcidState GreetingState
|
176
|
+
, acidFooState' :: AcidState FooState
|
177
|
+
}
|
178
|
+
withAcid' :: Maybe FilePath -> (Acid' -> IO a) -> IO a
|
179
|
+
withAcid' mBasePath action =
|
180
|
+
let basePath = fromMaybe "_state" mBasePath
|
181
|
+
in withLocalState (Just $ basePath </> "count") initialCountState $ \c ->
|
182
|
+
withLocalState (Just $ basePath </> "greeting") initialGreetingState $ \g ->
|
183
|
+
withLocalState (Just $ basePath </> "foo") initialFooState $ \f ->
|
184
|
+
action (Acid' c g f)
|
185
|
+
newtype App' a = App' { unApp' :: ServerPartT (ReaderT Acid' IO) a }
|
186
|
+
deriving ( Functor, Alternative, Applicative, Monad, MonadPlus, MonadIO
|
187
|
+
, HasRqData, ServerMonad ,WebMonad Response, FilterMonad Response
|
188
|
+
, Happstack, MonadReader Acid')
|
189
|
+
|
190
|
+
instance HasAcidState App' FooState where
|
191
|
+
getAcidState = acidFooState' <$> ask
|
192
|
+
fooAppPlugin :: App' Response
|
193
|
+
fooAppPlugin = fooPlugin
|
194
|
+
fooReaderPlugin :: ReaderT (AcidState FooState) (ServerPartT IO) Response
|
195
|
+
fooReaderPlugin = fooPlugin
|
196
|
+
instance HasAcidState (ReaderT (AcidState FooState) (ServerPartT IO)) FooState where
|
197
|
+
getAcidState = ask
|
198
|
+
withFooPlugin :: (MonadIO m, MonadBaseControl IO m) =>
|
199
|
+
FilePath -- ^ path to state directory
|
200
|
+
-> (ServerPartT IO Response -> m a) -- ^ function that uses fooPlugin
|
201
|
+
-> m a
|
202
|
+
withFooPlugin basePath f =
|
203
|
+
do withLocalState (Just $ basePath </> "foo") initialFooState $ \fooState ->
|
204
|
+
f $ runReaderT fooReaderPlugin fooState
|
205
|
+
main' :: IO ()
|
206
|
+
main' =
|
207
|
+
withFooPlugin "_state" $ \fooPlugin' ->
|
208
|
+
withAcid Nothing $ \acid ->
|
209
|
+
simpleHTTP nullConf $ fooPlugin' `mplus` runApp acid page
|
@@ -0,0 +1,102 @@
|
|
1
|
+
/*++ $Id: AlternatingGroup.mu,v 1.4 2003/09/08 15:00:47 nthiery Exp $
|
2
|
+
|
3
|
+
Dom::AlternatingGroup(n) -- the Alternating Group of {1..n}
|
4
|
+
|
5
|
+
n - integer >= 1
|
6
|
+
|
7
|
+
Elements are represented as in Dom::PermutationGroup(n)
|
8
|
+
|
9
|
+
Author: Nicolas M. Thi�ry <nthiery@users.sourceforge.net>
|
10
|
+
License: LGPL
|
11
|
+
Created: August 8th, 1999
|
12
|
+
Last update: $Date: 2003/09/08 15:00:47 $
|
13
|
+
++*/
|
14
|
+
|
15
|
+
domain Dom::AlternatingGroup(n: Type::PosInt)
|
16
|
+
inherits Dom::PermutationGroup(n,toBeDefined);
|
17
|
+
category Cat::PermutationGroup;
|
18
|
+
axiom Ax::canonicalRep;
|
19
|
+
|
20
|
+
/*--
|
21
|
+
size
|
22
|
+
|
23
|
+
Size of the group.
|
24
|
+
--*/
|
25
|
+
|
26
|
+
size := fact(n)/2;
|
27
|
+
|
28
|
+
/*--
|
29
|
+
generators
|
30
|
+
|
31
|
+
A list of generators of the group
|
32
|
+
|
33
|
+
The first 3-cycle (1,2,3), and a maximal even cycle (1,...,n) or
|
34
|
+
(2,...,n) depending on the parity of n
|
35
|
+
|
36
|
+
--*/
|
37
|
+
|
38
|
+
generators :=
|
39
|
+
if n<=2 then generators:=[dom([[1]])];
|
40
|
+
elif n=3 then generators:=[dom([[1,2,3]])];
|
41
|
+
elif n mod 2=0 then generators:=[dom([[1,2,3]]), dom([[$2..n]])];
|
42
|
+
else generators:=[dom([[1,2,3]]), dom([[$1..n]])];
|
43
|
+
end_if;
|
44
|
+
|
45
|
+
/*--
|
46
|
+
allElements
|
47
|
+
|
48
|
+
List of all the elements of the group
|
49
|
+
--*/
|
50
|
+
|
51
|
+
allElements :=
|
52
|
+
proc()
|
53
|
+
option remember;
|
54
|
+
local p;
|
55
|
+
begin
|
56
|
+
[new(dom,p) $ p in select(combinat::permutations(n),
|
57
|
+
p->bool(combinat::permutations::sign(p)=1))];
|
58
|
+
end_proc;
|
59
|
+
|
60
|
+
/*--
|
61
|
+
cycleTypes:
|
62
|
+
|
63
|
+
Count the elements of the group by cycle type.
|
64
|
+
(Cf Cat::PermutationGroupModule).
|
65
|
+
|
66
|
+
Same algorithm as for Dom::SymmetricGroup, but only even permutations
|
67
|
+
are considered. This is done by disregarding partitions p such
|
68
|
+
that n-length(p) is odd.
|
69
|
+
--*/
|
70
|
+
|
71
|
+
cycleTypes :=
|
72
|
+
proc()
|
73
|
+
option remember;
|
74
|
+
local t, p, gen;
|
75
|
+
begin
|
76
|
+
userinfo(3, "cycleTypes: starting computation");
|
77
|
+
t:=table();
|
78
|
+
|
79
|
+
gen := combinat::partitions::generator(n);
|
80
|
+
while (p:=gen()) <> FAIL do
|
81
|
+
userinfo(5, "working on partition", p);
|
82
|
+
if(n-nops(p) mod 2=0) then
|
83
|
+
// Compute the size of the conjugacy class of Sn indexed by p
|
84
|
+
// and the cycle type of a permutation in this conjugacy class
|
85
|
+
t[combinat::partitions::toExp(p,n)]
|
86
|
+
:= combinat::partitions::conjugacyClassSize(p);
|
87
|
+
end_if;
|
88
|
+
end_while;
|
89
|
+
t;
|
90
|
+
end_proc;
|
91
|
+
|
92
|
+
begin
|
93
|
+
if testargs() then
|
94
|
+
if args(0) <> 1 then error("wrong no of args"); end_if;
|
95
|
+
if not testtype(n,DOM_INT) then
|
96
|
+
error("argument must be integer")
|
97
|
+
end_if;
|
98
|
+
if n < 1 then
|
99
|
+
error("argument must be positive")
|
100
|
+
end_if;
|
101
|
+
end_if;
|
102
|
+
end_domain:
|
@@ -0,0 +1 @@
|
|
1
|
+
/* There is a BOM at the beginning of this file. */
|