notation-explorer/aSAN-3.js at master · hypcos/notation-explorer · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
register.push({
   id:'asan-3'
   ,name:"aSAN-3"
   ,display:aSAN_display
   ,able:aSAN_able
   ,compare:aSAN_compare
   ,FS:(()=>{
      var data={}
      ,Copy = a=>typeof a==='number'?a:a.map(Copy)
      ,pilot = A=>{
         if(typeof A==='number') return A
         for(var b=0;b<A.length;++b){
            if(A[b]!==1) return A[b]
         }
      }
      ,pre = A=>{
         if(typeof A==='number') return A-1
         var e=A.slice()
         e.unshift(pre(e.shift()))
         return e
      }
      ,change = (A,n)=>{
         var b,e=A.slice()
         for(b=0;b<e.length;++b){
            if(e[b]!==1){
               b?e.splice(b-1,2,n,pre(e[b])):e.splice(b,1,pre(e[b]))
               return e
            }
         }
      }
      ,layers = A=>{
         var Lk,L=[A]
         while(true){
            Lk = pilot(L[L.length-1])
            if(aSAN_base(Lk)>1) break
            L.push(Lk)
         }
         return L
      }
      ,changeL = (L,a,b)=>{
         if(a===L.length-1) return change(L[a],b)
         var x=L[a].indexOf(L[a+1])
         ,La = Copy(L[a])
         La[x] = changeL(L,a+1,b)
         return La
      }
      ,trans = L=>{
         var n=L.length-1,Trans=0,Transcenders=[]
         for(var k=1;k<=n;++k){
            if(Trans){
               if(aSAN_compare(L[n],L[k])>0) Trans=0
            }else{
               if(L[k-1][0]!==L[k]&&aSAN_compare(L[k-1],L[k])>0){
                  Transcenders.push(k-1)
                  Trans=1
               }
            }
         }
         return Transcenders
      }
      ,search = L=>{
         var T=trans(L),n=L.length-1
         for(var a=n;--a>=0&&aSAN_compare(L[n],L[a])<=0;);
         var t=Math.max(...T)
         if(t>=0&&t>=a){
            for(var u=T.length;--u>=0&&!(aSAN_compare(L[t],L[T[u]])>0););
            if(u>=0){
               for(var v=T[u];v<=t;++v){
                  if(aSAN_compare(L[v],L[t])>=0) return v
               }
            }else{
               return 0
            }
         }else if(a>=0){
            return a+1
         }else{
            return 0
         }
      }
      ,Standard = A=>{
         if(typeof A==='number') return A
         if(A.length===1){
            if(typeof A[0]==='number') return A[0]
            if(A[0].length===1) return Standard(A[0])
         }
         if(A[A.length-1]===1) return Standard(A.slice(0,A.length-1))
         return A.map(Standard)
      }
      ,aSAN = (A,FSterm)=>{
         var L=layers(Copy(A))
         ,m=search(L)
         ,f=n=>changeL(L,m,n)
         ,result = FSterm+1//0 should not occur in aSAN expressions
         for(var n=FSterm;n--;){
            result = f(result)
         }
         if(m>0){
            L[m-1][L[m-1].indexOf(L[m])] = result
            result = L[0]
         }
         var std
         while(JSON.stringify(std=Standard(result))!==JSON.stringify(result)) result=std
         return result
      }
      return (A,FSterm)=>{
         if(''+A==='1,Infinity') return FSterm?Array(FSterm).fill(1).concat(2):2
         if(aSAN_base(A)>1) return pre(A)
         var datakey=aSAN_display(A)
         if(!data[datakey]) data[datakey] = []
         else if(data[datakey][FSterm]!==undefined) return data[datakey][FSterm]
         return data[datakey][FSterm] = aSAN(A,FSterm)
      }
   })()
   ,init:()=>([
      {expr:[1,Infinity],low:[1],subitems:[]}
      ,{expr:1,low:[1],subitems:[]}
   ])
   ,semiable:aSAN_semiable
})