{"header":{"message":"Forms: New thorn\n","description":null,"timestamp":"2019-12-30T18:18:22Z","authors":[{"email":"schnetter@gmail.com","name":"Erik Schnetter"}]},"hash":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC","authors":[],"deps":{"hashes":[["LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC","Forms: New thorn\n"],["AA",null],["ZQ46MH2Z3D44CPDUAEWUDDB4DR7YLJIIXJELOPHBAAGXAPZKWA4QC","ErrorEstimator: New thorn\n"],["HNQLJR6ZWME6VBJ2Y7PSENLJPXC7INSS7NC2CKIWQAC776CQ74TQC","Pipelines: Build Cactus\n"],["Y7FSCHC3E3KIGVSB2KQRIPKBD2HL6JPUNBBSVZQAJKPXJKKRVNQQC","New thorn Hydro\n"]],"deps":["ZQ46MH2Z3D44CPDUAEWUDDB4DR7YLJIIXJELOPHBAAGXAPZKWA4QC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"Forms","metadata":1005},"path":"Forms","context":[{"change":1,"pos":0}],"contents":[]}},{"FileAdd":{"meta":{"basename":"README","metadata":420},"path":"Forms/README","context":[{"change":0,"pos":8}],"contents":[{"Add":{"text":"Cactus Code Thorn Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:42"}},{"Add":{"text":"Author(s) : Erik Schnetter ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:94"}},{"Add":{"text":"Maintainer(s): Erik Schnetter ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:146"}},{"Add":{"text":"Licence : LGPL","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:166"}},{"Add":{"text":"--------------------------------------------------------------------------","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:241"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:242"}},{"Add":{"text":"1. Purpose","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:253"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:254"}},{"Add":{"text":"Discrete Differential Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:282"}}]}},{"FileAdd":{"meta":{"basename":"configuration.ccl","metadata":420},"path":"Forms/configuration.ccl","context":[{"change":0,"pos":8}],"contents":[{"Add":{"text":"# Configuration definitions for thorn Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:348"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:349"}},{"Add":{"text":"REQUIRES googletest","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:369"}}]}},{"FileAdd":{"meta":{"basename":"interface.ccl","metadata":420},"path":"Forms/interface.ccl","context":[{"change":0,"pos":8}],"contents":[{"Add":{"text":"# Interface definition for thorn Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:426"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:427"}},{"Add":{"text":"IMPLEMENTS: Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:445"}}]}},{"FileAdd":{"meta":{"basename":"par","metadata":1005},"path":"Forms/par","context":[{"change":0,"pos":8}],"contents":[]}},{"FileAdd":{"meta":{"basename":"test_forms.par","metadata":420},"path":"Forms/par/test_forms.par","context":[{"change":0,"pos":453}],"contents":[{"Add":{"text":"ActiveThorns = \"Forms\"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:494"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:495"}},{"Add":{"text":"Forms::test_forms = yes","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:519"}}]}},{"FileAdd":{"meta":{"basename":"param.ccl","metadata":420},"path":"Forms/param.ccl","context":[{"change":0,"pos":8}],"contents":[{"Add":{"text":"# Parameter definitions for thorn Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:573"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:574"}},{"Add":{"text":"BOOLEAN test_forms \"Test Forms at startup\"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:617"}},{"Add":{"text":"{","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:619"}},{"Add":{"text":"} \"no\"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:626"}}]}},{"FileAdd":{"meta":{"basename":"schedule.ccl","metadata":420},"path":"Forms/schedule.ccl","context":[{"change":0,"pos":8}],"contents":[{"Add":{"text":"# Schedule definitions for thorn Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:682"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:683"}},{"Add":{"text":"if (test_forms) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:701"}},{"Add":{"text":" SCHEDULE TestForms_Test AT basegrid","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:739"}},{"Add":{"text":" {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:743"}},{"Add":{"text":" LANG: C","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:755"}},{"Add":{"text":" OPTIONS: meta","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:773"}},{"Add":{"text":" } \"Test Forms\"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:790"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:792"}}]}},{"FileAdd":{"meta":{"basename":"src","metadata":1005},"path":"Forms/src","context":[{"change":0,"pos":8}],"contents":[]}},{"FileAdd":{"meta":{"basename":"forms.cxx","metadata":420},"path":"Forms/src/forms.cxx","context":[{"change":0,"pos":800}],"contents":[{"Add":{"text":"#include \"forms.hxx\"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:834"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:835"}},{"Add":{"text":"namespace Forms {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:853"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:854"}},{"Add":{"text":"void q() {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:865"}},{"Add":{"text":" form a0({0});","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:895"}},{"Add":{"text":" form a1({1, 2, 3});","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:931"}},{"Add":{"text":" form a2({4, 5, 6});","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:967"}},{"Add":{"text":" form a3({7});","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:997"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:998"}},{"Add":{"text":" +a0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1005"}},{"Add":{"text":" +a1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1012"}},{"Add":{"text":" +a2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1019"}},{"Add":{"text":" +a3;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1026"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1027"}},{"Add":{"text":" -a0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1034"}},{"Add":{"text":" -a1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1041"}},{"Add":{"text":" -a2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1048"}},{"Add":{"text":" -a3;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1055"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1056"}},{"Add":{"text":" a0 + a0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1067"}},{"Add":{"text":" a1 + a1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1078"}},{"Add":{"text":" a2 + a2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1089"}},{"Add":{"text":" a3 + a3;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1100"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1101"}},{"Add":{"text":" a0 - a0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1112"}},{"Add":{"text":" a1 - a1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1123"}},{"Add":{"text":" a2 - a2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1134"}},{"Add":{"text":" a3 - a3;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1145"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1146"}},{"Add":{"text":" 2 * a0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1156"}},{"Add":{"text":" 2 * a1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1166"}},{"Add":{"text":" 2 * a2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1176"}},{"Add":{"text":" 2 * a3;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1186"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1187"}},{"Add":{"text":" a0 * 2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1197"}},{"Add":{"text":" a1 * 2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1207"}},{"Add":{"text":" a2 * 2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1217"}},{"Add":{"text":" a3 * 2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1227"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1228"}},{"Add":{"text":" a0 / 2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1238"}},{"Add":{"text":" a1 / 2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1248"}},{"Add":{"text":" a2 / 2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1258"}},{"Add":{"text":" a3 / 2;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1268"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1269"}},{"Add":{"text":" wedge(a0, a0);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1286"}},{"Add":{"text":" wedge(a0, a1);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1303"}},{"Add":{"text":" wedge(a0, a2);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1320"}},{"Add":{"text":" wedge(a0, a3);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1337"}},{"Add":{"text":" wedge(a1, a0);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1354"}},{"Add":{"text":" wedge(a1, a1);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1371"}},{"Add":{"text":" wedge(a1, a2);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1388"}},{"Add":{"text":" wedge(a2, a0);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1405"}},{"Add":{"text":" wedge(a2, a1);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1422"}},{"Add":{"text":" wedge(a3, a0);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1439"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1441"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1442"}},{"Add":{"text":"} // namespace Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1463"}}]}},{"FileAdd":{"meta":{"basename":"forms.hxx","metadata":420},"path":"Forms/src/forms.hxx","context":[{"change":0,"pos":800}],"contents":[{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1497"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1498"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1515"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1534"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1553"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1581"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1599"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1618"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1636"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1659"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1660"}},{"Add":{"text":"namespace Forms {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1678"}},{"Add":{"text":"using namespace std;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1699"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1700"}},{"Add":{"text":"constexpr int bitsign(bool s) { return s ? -1 : +1; }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1754"}},{"Add":{"text":"constexpr int bitsign(int s) { return bitsign(bool(s & 1)); }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1816"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1817"}},{"Add":{"text":"constexpr size_t count_bits(size_t x) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1857"}},{"Add":{"text":" size_t n = 0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1873"}},{"Add":{"text":" while (x > 0) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1891"}},{"Add":{"text":" n += x & 1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1907"}},{"Add":{"text":" x >>= 1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1920"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1924"}},{"Add":{"text":" return n;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1936"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1938"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1939"}},{"Add":{"text":"// Taken from","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:1953"}},{"Add":{"text":"// ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2066"}},{"Add":{"text":"inline string demangle(const char *mangled) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2112"}},{"Add":{"text":" int status;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2126"}},{"Add":{"text":" unique_ptr result(","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2173"}},{"Add":{"text":" abi::__cxa_demangle(mangled, 0, 0, &status), std::free);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2236"}},{"Add":{"text":" return result.get() ? string(result.get()) : \"\";","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2301"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2303"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2304"}},{"Add":{"text":"template struct form;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2359"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2360"}},{"Add":{"text":"template struct form {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2416"}},{"Add":{"text":" static_assert(D >= 0, \"\");","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2445"}},{"Add":{"text":" static_assert(R >= 0 && R <= D, \"\");","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2484"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2485"}},{"Add":{"text":" constexpr static size_t ncomponents() {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2527"}},{"Add":{"text":" size_t ncomps = 0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2550"}},{"Add":{"text":" for (size_t idx = 0; idx < (1 << D); ++idx)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2598"}},{"Add":{"text":" ncomps += count_bits(idx) == R;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2636"}},{"Add":{"text":" return ncomps;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2655"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2659"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2660"}},{"Add":{"text":" constexpr static size_t idx2comp(const size_t idx0) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2716"}},{"Add":{"text":" assert(count_bits(idx0) == R);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2751"}},{"Add":{"text":" size_t comp = 0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2772"}},{"Add":{"text":" for (size_t idx = 0; idx < (1 << D); ++idx) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2822"}},{"Add":{"text":" if (idx == idx0)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2845"}},{"Add":{"text":" break;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2860"}},{"Add":{"text":" comp += count_bits(idx) == R;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2896"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2902"}},{"Add":{"text":" return comp;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2919"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2923"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2924"}},{"Add":{"text":" constexpr static size_t comp2idx(const size_t comp0) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:2981"}},{"Add":{"text":" size_t comp = 0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3002"}},{"Add":{"text":" size_t idx;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3018"}},{"Add":{"text":" for (idx = 0; idx < (1 << D); ++idx) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3061"}},{"Add":{"text":" if (count_bits(idx) == R) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3095"}},{"Add":{"text":" if (comp == comp0)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3122"}},{"Add":{"text":" break;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3139"}},{"Add":{"text":" ++comp;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3155"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3163"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3169"}},{"Add":{"text":" assert(count_bits(idx) == R);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3203"}},{"Add":{"text":" return idx;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3219"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3223"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3224"}},{"Add":{"text":" static constexpr size_t N = ncomponents();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3269"}},{"Add":{"text":" array comps;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3290"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3291"}},{"Add":{"text":" form() : comps() {}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3313"}},{"Add":{"text":" form(const array &comps) : comps(comps) {}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3364"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3365"}},{"Add":{"text":" static constexpr form pure(const T &rc) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3409"}},{"Add":{"text":" form r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3421"}},{"Add":{"text":" for (size_t n = 0; n < N; ++n)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3456"}},{"Add":{"text":" r.comps[n] = rc;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3479"}},{"Add":{"text":" return r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3493"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3497"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3498"}},{"Add":{"text":" template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3545"}},{"Add":{"text":" friend constexpr form make_pure(const T1 &rc);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3606"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3607"}},{"Add":{"text":" template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3678"}},{"Add":{"text":" friend constexpr form fmap(const F &f, const form &x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3758"}},{"Add":{"text":" template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3829"}},{"Add":{"text":" friend constexpr form fmap(const F &f, const form &x,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3908"}},{"Add":{"text":" const form &y);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3976"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:3977"}},{"Add":{"text":" template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4036"}},{"Add":{"text":" friend constexpr T1 foldl(const F &f, const T1 &z, const form &x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4117"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4118"}},{"Add":{"text":" template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4213"}},{"Add":{"text":" friend constexpr U foldmap(const F &f, const G &g, const U &z,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4278"}},{"Add":{"text":" const form &x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4335"}},{"Add":{"text":" template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4430"}},{"Add":{"text":" friend constexpr U foldmap(const F &f, const G &g, const U &z,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4495"}},{"Add":{"text":" const form &x,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4551"}},{"Add":{"text":" const form &y);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4608"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4609"}},{"Add":{"text":" friend constexpr form operator+(const form &x) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4660"}},{"Add":{"text":" return fmap([](const T &xc) { return +xc; }, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4713"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4717"}},{"Add":{"text":" friend constexpr form operator-(const form &x) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4768"}},{"Add":{"text":" return fmap([](const T &xc) { return -xc; }, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4821"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4825"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4826"}},{"Add":{"text":" friend constexpr form operator+(const form &x, const form &y) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4892"}},{"Add":{"text":" return fmap([](const T &xc, const T &yc) { return xc + yc; }, x, y);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4965"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:4969"}},{"Add":{"text":" friend constexpr form operator-(const form &x, const form &y) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5035"}},{"Add":{"text":" return fmap([](const T &xc, const T &yc) { return xc - yc; }, x, y);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5108"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5112"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5113"}},{"Add":{"text":" friend constexpr form operator*(const T &a, const form &x) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5176"}},{"Add":{"text":" return fmap([&](const T &xc) { return a * xc; }, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5233"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5237"}},{"Add":{"text":" friend constexpr form operator*(const form &x, const T &a) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5300"}},{"Add":{"text":" return fmap([&](const T &xc) { return xc * a; }, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5357"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5361"}},{"Add":{"text":" friend constexpr form operator/(const form &x, const T &a) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5424"}},{"Add":{"text":" return fmap([&](const T &xc) { return xc / a; }, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5481"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5485"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5486"}},{"Add":{"text":" friend constexpr bool operator==(const form &x, const form &y) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5553"}},{"Add":{"text":" return fmap([](const T &xc, const T &yc) { return xc == yc; }, x, y).all();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5633"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5637"}},{"Add":{"text":" friend constexpr bool operator!=(const form &x, const form &y) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5704"}},{"Add":{"text":" return !(x == y);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5726"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5730"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5731"}},{"Add":{"text":" constexpr bool all() const {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5762"}},{"Add":{"text":" return foldl([](const bool x, const bool y) { return x && y; }, true,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5836"}},{"Add":{"text":" *this);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5861"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5865"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5866"}},{"Add":{"text":" friend ostream &operator<<(ostream &os, const form &x) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5925"}},{"Add":{"text":" os << \"form<\" << demangle(typeid(T).name()) << \",\" << D << \",\" << R","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:5997"}},{"Add":{"text":" << \">{comps:[\";","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6020"}},{"Add":{"text":" for (size_t n = 0; n < N; ++n) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6057"}},{"Add":{"text":" if (n > 0)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6074"}},{"Add":{"text":" os << \",\";","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6093"}},{"Add":{"text":" const size_t idx = comp2idx(n);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6131"}},{"Add":{"text":" os << \"(\" << n << \"/\" << idx << \")\";","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6174"}},{"Add":{"text":" for (size_t d = 0; d < D; ++d)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6211"}},{"Add":{"text":" os << int((idx & (1 << d)) != 0);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6253"}},{"Add":{"text":" os << \":\" << x.comps[n];","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6284"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6290"}},{"Add":{"text":" os << \"]}\";","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6306"}},{"Add":{"text":" return os;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6321"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6325"}},{"Add":{"text":"};","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6328"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6329"}},{"Add":{"text":"template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6371"}},{"Add":{"text":"constexpr form make_pure(const T &rc) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6420"}},{"Add":{"text":" constexpr size_t N = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6461"}},{"Add":{"text":" form r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6480"}},{"Add":{"text":" for (size_t n = 0; n < N; ++n)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6513"}},{"Add":{"text":" r.comps[n] = rc;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6534"}},{"Add":{"text":" return r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6546"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6548"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6549"}},{"Add":{"text":"template >","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6646"}},{"Add":{"text":"constexpr form fmap(const F &f, const form &x) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6713"}},{"Add":{"text":" constexpr size_t N = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6754"}},{"Add":{"text":" form r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6773"}},{"Add":{"text":" for (size_t n = 0; n < N; ++n)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6806"}},{"Add":{"text":" r.comps[n] = f(x.comps[n]);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6838"}},{"Add":{"text":" return r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6850"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6852"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6853"}},{"Add":{"text":"template >","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:6953"}},{"Add":{"text":"constexpr form fmap(const F &f, const form &x,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7018"}},{"Add":{"text":" const form &y) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7073"}},{"Add":{"text":" constexpr size_t N = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7114"}},{"Add":{"text":" form r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7133"}},{"Add":{"text":" for (size_t n = 0; n < N; ++n)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7166"}},{"Add":{"text":" r.comps[n] = f(x.comps[n], y.comps[n]);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7210"}},{"Add":{"text":" return r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7222"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7224"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7225"}},{"Add":{"text":"template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7279"}},{"Add":{"text":"constexpr T foldl(const F &f, const T &z, const form &x) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7347"}},{"Add":{"text":" constexpr size_t N = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7388"}},{"Add":{"text":" T r(z);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7398"}},{"Add":{"text":" for (size_t n = 0; n < N; ++n)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7431"}},{"Add":{"text":" r = f(r, x.comps[n]);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7457"}},{"Add":{"text":" return r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7469"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7471"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7472"}},{"Add":{"text":"template >","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7581"}},{"Add":{"text":"constexpr U foldmap(const F &f, const G &g, const U &z,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7637"}},{"Add":{"text":" const form &x) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7683"}},{"Add":{"text":" constexpr size_t N = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7724"}},{"Add":{"text":" U r(z);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7734"}},{"Add":{"text":" for (size_t n = 0; n < N; ++n)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7767"}},{"Add":{"text":" r = g(r, f(x.comps[n]));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7796"}},{"Add":{"text":" return r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7808"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7810"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7811"}},{"Add":{"text":"template >","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:7923"}},{"Add":{"text":"constexpr U foldmap(const F &f, const G &g, const U &z, const form &x,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8003"}},{"Add":{"text":" const form &y) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8049"}},{"Add":{"text":" constexpr size_t N = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8090"}},{"Add":{"text":" U r(z);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8100"}},{"Add":{"text":" for (size_t n = 0; n < N; ++n)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8133"}},{"Add":{"text":" r = g(r, f(x.comps[n], y.comps[n]));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8174"}},{"Add":{"text":" return r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8186"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8188"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8189"}},{"Add":{"text":"template ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8263"}},{"Add":{"text":"constexpr form wedge(const form &x,","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8318"}},{"Add":{"text":" const form &y) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8375"}},{"Add":{"text":" constexpr size_t Nx = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8418"}},{"Add":{"text":" constexpr size_t Ny = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8461"}},{"Add":{"text":" form r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8480"}},{"Add":{"text":" for (size_t ny = 0; ny < Ny; ++ny) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8519"}},{"Add":{"text":" for (size_t nx = 0; nx < Nx; ++nx) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8560"}},{"Add":{"text":" const auto idxx = form::comp2idx(nx);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8614"}},{"Add":{"text":" const auto idxy = form::comp2idx(ny);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8668"}},{"Add":{"text":" const bool skip = (idxx & idxy) != 0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8712"}},{"Add":{"text":" if (!skip) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8731"}},{"Add":{"text":" const size_t idx = idxx | idxy;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8771"}},{"Add":{"text":" const size_t n = form::idx2comp(idx);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8826"}},{"Add":{"text":" bool parity = false;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8855"}},{"Add":{"text":" bool count = false;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8883"}},{"Add":{"text":" for (size_t d = 0; d < D; ++d) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8924"}},{"Add":{"text":" parity ^= (idxx & (1 << d)) != 0 && count;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:8977"}},{"Add":{"text":" count ^= (idxy & (1 << d)) != 0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9020"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9030"}},{"Add":{"text":" r.comps[n] += bitsign(parity) * x.comps[nx] * y.comps[ny];","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9097"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9105"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9111"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9115"}},{"Add":{"text":" return r;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9127"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9129"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9130"}},{"Add":{"text":"} // namespace Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9151"}}]}},{"FileAdd":{"meta":{"basename":"make.code.defn","metadata":420},"path":"Forms/src/make.code.defn","context":[{"change":0,"pos":800}],"contents":[{"Add":{"text":"# Main make.code.defn file for thorn Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9213"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9214"}},{"Add":{"text":"# Source files in this directory","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9247"}},{"Add":{"text":"SRCS = forms.cxx test.cxx","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9273"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9274"}},{"Add":{"text":"# Subdirectories containing source files","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9315"}},{"Add":{"text":"SUBDIRS =","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9325"}}]}},{"FileAdd":{"meta":{"basename":"test.cxx","metadata":420},"path":"Forms/src/test.cxx","context":[{"change":0,"pos":800}],"contents":[{"Add":{"text":"#include \"forms.hxx\"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9359"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9360"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9378"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9406"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9435"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9436"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9461"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9462"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9481"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9501"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9519"}},{"Add":{"text":"#include ","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9537"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9538"}},{"Add":{"text":"namespace TestForms {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9560"}},{"Add":{"text":"using namespace Forms;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9583"}},{"Add":{"text":"using namespace std;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9604"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9605"}},{"Add":{"text":"template class arbitrary {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9645"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9646"}},{"Add":{"text":" vector vals;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9664"}},{"Add":{"text":" size_t pos;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9678"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9679"}},{"Add":{"text":" random_device rd;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9699"}},{"Add":{"text":" default_random_engine gen;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9728"}},{"Add":{"text":" uniform_int_distribution<> dist;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9763"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9764"}},{"Add":{"text":"public:","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9772"}},{"Add":{"text":" arbitrary() : pos(0), gen(rd()), dist(-1000 * 1000, 1000 * 1000) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9841"}},{"Add":{"text":" for (int i = 0; i <= 10; ++i)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9875"}},{"Add":{"text":" vals.push_back(i);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9900"}},{"Add":{"text":" {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9906"}},{"Add":{"text":" int n = vals.size();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9933"}},{"Add":{"text":" for (int i = 0; i < n; ++i)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:9967"}},{"Add":{"text":" vals.push_back(-vals.at(i));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10004"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10010"}},{"Add":{"text":" {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10016"}},{"Add":{"text":" int n = vals.size();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10043"}},{"Add":{"text":" for (int i = 0; i < n; ++i)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10077"}},{"Add":{"text":" vals.push_back(1000 * vals.at(i));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10120"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10126"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10130"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10131"}},{"Add":{"text":" T next() {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10144"}},{"Add":{"text":" if (pos < vals.size())","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10171"}},{"Add":{"text":" return vals.at(pos++);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10200"}},{"Add":{"text":" return dist(gen);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10222"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10226"}},{"Add":{"text":"};","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10229"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10230"}},{"Add":{"text":"template void TestVector() {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10286"}},{"Add":{"text":" arbitrary arb;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10306"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10307"}},{"Add":{"text":" const int n = 100;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10328"}},{"Add":{"text":" for (int i = 0; i < n; ++i) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10360"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10361"}},{"Add":{"text":" constexpr int N = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10401"}},{"Add":{"text":" form x, y, z;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10428"}},{"Add":{"text":" for (int c = 0; c < N; ++c) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10462"}},{"Add":{"text":" x.comps[c] = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10493"}},{"Add":{"text":" y.comps[c] = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10524"}},{"Add":{"text":" z.comps[c] = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10555"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10561"}},{"Add":{"text":" const auto zero = form();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10600"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10601"}},{"Add":{"text":" const T a = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10629"}},{"Add":{"text":" const T b = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10657"}},{"Add":{"text":" const T szero = 0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10680"}},{"Add":{"text":" const T sone = 1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10702"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10703"}},{"Add":{"text":" // Addition:","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10720"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10721"}},{"Add":{"text":" // Associativity","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10742"}},{"Add":{"text":" EXPECT_EQ((x + y) + z, x + (y + z));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10783"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10784"}},{"Add":{"text":" // Left zero","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10801"}},{"Add":{"text":" EXPECT_EQ(zero + x, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10829"}},{"Add":{"text":" // Right zero","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10847"}},{"Add":{"text":" EXPECT_EQ(x + zero, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10875"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10876"}},{"Add":{"text":" // Commutativity","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10897"}},{"Add":{"text":" EXPECT_EQ(x + y, y + x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10926"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10927"}},{"Add":{"text":" // Left inverse","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10947"}},{"Add":{"text":" EXPECT_EQ((-x) + x, zero);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10978"}},{"Add":{"text":" // Right inverse","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:10999"}},{"Add":{"text":" EXPECT_EQ(x + (-x), zero);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11030"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11031"}},{"Add":{"text":" // Subtraction","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11050"}},{"Add":{"text":" EXPECT_EQ(x - y, x + (-y));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11082"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11083"}},{"Add":{"text":" // Scaling:","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11099"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11100"}},{"Add":{"text":" // Associativity","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11121"}},{"Add":{"text":" EXPECT_EQ((a * b) * x, a * (b * x));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11162"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11163"}},{"Add":{"text":" // Left Unit","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11180"}},{"Add":{"text":" EXPECT_EQ(sone * x, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11208"}},{"Add":{"text":" // Right Unit","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11226"}},{"Add":{"text":" EXPECT_EQ(x * sone, x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11254"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11255"}},{"Add":{"text":" // Left Zero","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11272"}},{"Add":{"text":" EXPECT_EQ(szero * x, zero);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11304"}},{"Add":{"text":" // Right Zero","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11322"}},{"Add":{"text":" EXPECT_EQ(x * szero, zero);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11354"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11355"}},{"Add":{"text":" // Commutativity","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11376"}},{"Add":{"text":" EXPECT_EQ(a * x, x * a);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11405"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11406"}},{"Add":{"text":" if (false) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11423"}},{"Add":{"text":" if (a != szero) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11447"}},{"Add":{"text":" // Left inverse","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11471"}},{"Add":{"text":" EXPECT_EQ((sone / a) * (a * x), x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11515"}},{"Add":{"text":" // Right inverse","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11540"}},{"Add":{"text":" EXPECT_EQ((x * a) * (sone / a), x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11584"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11585"}},{"Add":{"text":" // Division","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11605"}},{"Add":{"text":" EXPECT_EQ(x / a, x * (sone / a));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11647"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11655"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11661"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11662"}},{"Add":{"text":" // Vector distributivity","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11691"}},{"Add":{"text":" EXPECT_EQ(a * (x + y), a * x + a * y);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11734"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11735"}},{"Add":{"text":" // Scalar distributivity","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11764"}},{"Add":{"text":" EXPECT_EQ((a + b) * x, a * x + b * x);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11807"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11811"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11813"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11814"}},{"Add":{"text":"template void TestWedge() {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11878"}},{"Add":{"text":" constexpr int R = Rx + Ry;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11907"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11908"}},{"Add":{"text":" arbitrary arb;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11928"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11929"}},{"Add":{"text":" const int n = 100;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11950"}},{"Add":{"text":" for (int i = 0; i < n; ++i) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11982"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:11983"}},{"Add":{"text":" constexpr int Nx = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12025"}},{"Add":{"text":" constexpr int Ny = form::N;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12067"}},{"Add":{"text":" form x;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12089"}},{"Add":{"text":" for (int c = 0; c < Nx; ++c)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12122"}},{"Add":{"text":" x.comps[c] = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12153"}},{"Add":{"text":" form y;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12175"}},{"Add":{"text":" for (int c = 0; c < Ny; ++c)","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12208"}},{"Add":{"text":" y.comps[c] = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12239"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12240"}},{"Add":{"text":" const auto xzero = form();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12281"}},{"Add":{"text":" const auto yzero = form();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12322"}},{"Add":{"text":" const auto rzero = form();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12362"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12363"}},{"Add":{"text":" const T a = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12391"}},{"Add":{"text":" const T b = arb.next();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12419"}},{"Add":{"text":" const T szero = 0;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12442"}},{"Add":{"text":" const T sone = 1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12464"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12465"}},{"Add":{"text":" // Scaling:","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12481"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12482"}},{"Add":{"text":" // Associativity","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12503"}},{"Add":{"text":" EXPECT_EQ(a * wedge(x, y), wedge(a * x, y));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12552"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12553"}},{"Add":{"text":" // Left Zero","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12570"}},{"Add":{"text":" EXPECT_EQ(wedge(xzero, y), rzero);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12609"}},{"Add":{"text":" // Right Zero","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12627"}},{"Add":{"text":" EXPECT_EQ(wedge(x, yzero), rzero);","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12666"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12667"}},{"Add":{"text":" // Anti-commutativity","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12693"}},{"Add":{"text":" constexpr bool s = (Rx & Ry) & 1;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12731"}},{"Add":{"text":" EXPECT_EQ(wedge(x, y), bitsign(s) * wedge(y, x));","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12785"}},{"Add":{"text":" }","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12789"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12791"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12792"}},{"Add":{"text":"extern \"C\" void TestForms_Test(CCTK_ARGUMENTS) {","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12841"}},{"Add":{"text":" DECLARE_CCTK_ARGUMENTS;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12867"}},{"Add":{"text":" DECLARE_CCTK_PARAMETERS;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12894"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12895"}},{"Add":{"text":" CCTK_VINFO(\"Testing...\");","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12923"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12924"}},{"Add":{"text":" typedef int64_t val_t;","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12949"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12950"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:12979"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13008"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13037"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13066"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13095"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13124"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13153"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13182"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13211"}},{"Add":{"text":" TestVector();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13240"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13241"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13272"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13303"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13334"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13365"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13396"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13427"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13458"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13489"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13520"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13551"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13582"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13613"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13644"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13675"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13706"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13737"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13768"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13799"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13830"}},{"Add":{"text":" TestWedge();","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13861"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13862"}},{"Add":{"text":" CCTK_VINFO(\"Done.\");","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13885"}},{"Add":{"text":"}","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13887"}},{"Add":{"text":"","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13888"}},{"Add":{"text":"} // namespace TestForms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13913"}}]}},{"Edit":{"inode":{"change":4,"pos":11},"path":"azure-pipelines/carpetx.th","line":134,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":2377}],"down_context":[{"change":5,"pos":25754}],"flag":"BLOCK","start":13915,"end":13929,"inode":{"change":4,"pos":11}}},"contents":[{"Add":{"text":"CarpetX/Forms","pos":"LHYAI63M52C52MOKTI6IEDJTMJUULRSFCTU25KHRJTUMTVKRGRBQC:13928"}}]}}],"owner":"eschnett","repo":"cactusamrex","login":null}

…

Dependencies

Change contents

Review