outdir = default ################################################################ ################################################################ # STAGING AREA #<> ################################################################ ################################################################ # EVERYTHING skipto = fullbuild cursor = 1m <> <> ################################################################ ################################################################ # NATURAL NUMBER COUNTING skipto = naturals defaults = define,clear action = count position = count npages = 1 tailpad = yes wipe = end block = end k_delta = 1 name = nc1 timing = count1 [nc_timing] ease = 0.6 [nc_ease] ease_step = 0 [nc_ease_step] start = 4m [nc_start] len = 13m k_start = 1 [nc_k] name = nc2 timing = nc_timing ease = 0.8 start = 17m len = 6m name = nc3 timing = nc_timing ease = 0.7 start = 23m len = 2m name = nc4 timing = nc_timing ease = 0.85 start = 25m end = 26:1m name = nc5 timing = nc_timing ease = 1.1 start = 26:1m end = 27:1m name = nc6-click timing = nc_timing ease = 1 start = 27:1m end = 28:1m name = nc7 timing = nc_timing ease = 1 start = 28:1m end = 29:1m name = nc9 timing = count3 decay = count3 ease = 1.1 start = 29:1m end = 31m wipe = no block = no defaults = clear ################################################################ ################################################################ # BIJECTIONS FROM NATURALS TO INTEGERS skipto = bijection defaults = define,reset action = bijection position = full_screen name = bijection-integers set = integers ease = 0.35 start = 31m [bijection_start] len = 2m rgb_integer = grey name = bijection-naturals set = naturals position = col_middle timing = bijection-n start = bijection_start + 2m end = 47m rgb = red name = bijection-bijection set = bijection timing = bijection-b decay = bijection-b start = bijection_start + 2m end = 47m name = bijection-all action = bijection-all timing = bijection-all-v2 decay = bijection-all-v2 ease = 1 start = 47m end = 65m rgb_natural = red rgb_bulk = grey ################################################################ # RATIONAL TABLE skipto = rational defaults = clear,define position = full_screen action = diagonal npages = 1 name = fill before diagonalization action = fill pages = / timing = vwipe decay = vwipe bycol = 1 start = 65m [rational_start] end = 66m rgb = red name = diagonal-rational-/ set = / timing = 1m start = rational_start end = 75m [rational_end] rgb = red name = diagonal-rational-num set = num ease = 0.5 timing = diagonal-num-den start = rational_start + 1m end = rational_end name = diagonal-rational-den set = den ease = 1.5 timing = diagonal-num-den start = rational_start + 3m end = rational_end rgb = grey name = diagonal-rational-natural set = natural ease = 0.5 timing = diagonal-natural decay = diagonal-natural start = rational_start + 5m end = rational_end rgb = red ################################################################ # FASTER RATIONALS defaults = clear,define position = full_screen action = diagonal set = all wipe = end block = end npages = 1 k_delta = 1 rgb_den = grey rgb_num = fg rgb_natural = red rgb_div = red name = rational-faster start = 76:2m end = 78:2m k_start = 1 den_start = 31 name = rational-faster start = 78:2m end = 80:2m den_start = 62 name = rational-faster start = 80:2m end = 82:2m den_start = 93 name = rational-faster start = 82:2m end = 86m timing = 2m decay = diagonal-natural-f den_start = 124 wipe = no block = no ################################################################ # NATURAL -> REALS ASSIGNMENT & DIAGONALIZATION skipto = reals defaults = clear,define action = reals npages = 1 ease = 0.5 k_delta = 1 name = reals assignment left col set = assign position = cola timing = reals-assignment-1 decay = reals-assignment-1 start = 86m [reals_start] len = 14m k_start = 1 rgb_natural= red rgb_real = grey name = reals twinkle set = twinkle position = cola start = reals_start + 5m len = 3m rgb = fg name = reals moveup set = moveup decay = reals-moveup timing = reals-moveup position = cola start = reals_start + 8m len = 8m rgb = fg name = reals assignment right set = assign position = colb timing = reals-assignment-1f decay = reals-assignment-1f start = reals_start + 10m len = 10m k_start = 79 rgb_natural = red rgb_real = grey name = reals twinkle set = twinkle position = colb start = reals_start + 12m len = 2m rgb = fg name = reals moveup set = moveup decay = reals-moveup-f position = colb ease = 0.5 start = reals_start + 14m len = 2m rgb = fg # simultaneous left/right name = reals assignment left set = assign position = cola timing = reals-assignment-1f decay = reals-assignment-1f start = reals_start + 16m len = 10m k_start = 157 rgb_natural = red rgb_real = grey name = reals twinkle set = twinkle position = cola start = reals_start + 18m len = 2m rgb = fg name = reals moveup set = moveup decay = reals-moveup-f position = cola start = reals_start + 20m len = 1:2m rgb = fg name = reals assignment right set = assign position = colb timing = reals-assignment-1f decay = reals-assignment-1f start = reals_start + 16m len = 10m k_start = 235 rgb_natural = red rgb_real = grey name = reals twinkle set = twinkle position = colb start = reals_start + 18m len = 2m rgb = fg name = reals moveup set = moveup decay = reals-moveup-f position = colb start = reals_start + 20m len = 1:2m rgb = fg ################################################################ # # FLASH REALS defaults = reset name = reals random swipe down action = fill npages = 1 pages = rand(digit) timing = reals-flash decay = reals-flash position = cola #row_min_offset = -4 row_max_offset = 2 bycol = yes col_min_offset = 4 start = 108:3m len = 1:2m name = reals random swipe down action = fill npages = 1 pages = rand(digit) timing = reals-flash decay = reals-flash position = colb #row_min_offset = -4 row_max_offset = 2 bycol = yes col_min_offset = 4 start = 108:3m len = 1:2m ################################################################ # POWER SETS skipto = powersets defaults = define,reset action = powersets set = natural position = full_screen rgb_natural = red rgb_c_colors = {} red .,… grey row_padding = 1 k_start = 1 k_delta = 1 wipe = end margin = 3 #col_min_offset = 1 power_set_sort = yes blank_area = label name = natural powersets timing = powersets pause_at_line = 1000 start = 109m end = 131m col_max_offset = -1 ease = 0.5 ease_first_only = yes skip = yes name = natural powersets timing = powersets-strobing-fastest start = 119m end = 131m col_max_offset = -1 name = natural powersets timing = powersets-sync start = 131m end = 135m col_max_offset = -1 sync = kick-ps # STRONG KICK @ 119m name = ps kick action = psreal timing = powersets-sync start = 135m end = 150m sync = kick-ps col_max_offset = -1 precision_min = 4 precision_max = 4 num_reals_min = 2 num_reals_max = 8 row_padding = 1 row_padding_rate = 0.01 name = ps kick action = psreal timing = powersets-sync start = 149:3m end = 151m sync = snare col_max_offset = -1 precision_min = 4 precision_max = 4 num_reals_min = 2 num_reals_max = 8 row_padding = 1 row_padding_rate = 0.01 name = ps strobe 2 timing = powersets-strobing-2 position = colav2 start = 151m end = 160m name = ps strobe 2 timing = powersets-strobing-2 action = psreal position = colbv2 start = 151m end = 160m col_max_offset = -1 precision_min = 4 precision_max = 4 num_reals_min = 2 num_reals_max = 8 row_padding = 1 row_padding_rate = 0.01 name = ps kick decay timing = powersets-sync decay = powersets-sync position = colav2 start = 160m end = 167m sync = kick name = ps snare decay timing = powersets-sync decay = powersets-sync position = colbv2 action = psreal start = 160m end = 167m sync = snare col_max_offset = -1 precision_min = 4 precision_max = 4 num_reals_min = 2 num_reals_max = 8 row_padding = 1 row_padding_rate = 0.01 defaults = reset position = full_screen name = natural count action = count position = full_screen timing = strobe2 start = 167m end = 176m tailpad = yes sync = kick blank_area = label name = natural count action = count position = full_screen timing = strobe1 decay = strobe1 start = 176m end = 183m tailpad = yes #k_start = 6234 #k_delta = 1 sync = kick blank_area = label name = decay all scenes start = 1m action = decay ################################################################ # CLOSING OFF defaults = reset skipto = closing ################################################################ # GLITCHES & EFFECTS <> halt = yes # *** ALL DONE *** ################################################################ ################################################################