| 1 | STDIN 1> proc getRingWithVar() |
|---|
| 2 | STDIN 2. { |
|---|
| 3 | STDIN 3. ring T = 0,(t),dp; ideal B = maxideal(2); |
|---|
| 4 | STDIN 5. |
|---|
| 5 | STDIN 7. export B; //!!! ok here!!! |
|---|
| 6 | STDIN 9. return(T); |
|---|
| 7 | STDIN 11. } |
|---|
| 8 | STDIN 12> |
|---|
| 9 | STDIN 13. proc BugHere(def T) |
|---|
| 10 | STDIN 14. { |
|---|
| 11 | STDIN 15. "mapPower"; |
|---|
| 12 | STDIN 17. |
|---|
| 13 | STDIN 19. def save = basering; |
|---|
| 14 | STDIN 21. |
|---|
| 15 | STDIN 23. "/-------T----------"; listvar(T); "/////////////////"; |
|---|
| 16 | STDIN 25. |
|---|
| 17 | STDIN 27. setring T; |
|---|
| 18 | STDIN 29. "ring T:", T; |
|---|
| 19 | STDIN 31. |
|---|
| 20 | STDIN 33. "/-------T----------"; listvar(T); "/////////////////"; |
|---|
| 21 | STDIN 35. |
|---|
| 22 | STDIN 37. |
|---|
| 23 | STDIN 39. listvar(); |
|---|
| 24 | STDIN 41. |
|---|
| 25 | STDIN 43. "Defined(A)?: ", defined(A); |
|---|
| 26 | STDIN 45. B; |
|---|
| 27 | STDIN 47. A; |
|---|
| 28 | STDIN 49. |
|---|
| 29 | STDIN 51. return(1); |
|---|
| 30 | STDIN 53. } |
|---|
| 31 | STDIN 54> |
|---|
| 32 | STDIN 55. |
|---|
| 33 | STDIN 56. |
|---|
| 34 | STDIN 57. |
|---|
| 35 | STDIN 58. |
|---|
| 36 | STDIN 59. |
|---|
| 37 | STDIN 60. |
|---|
| 38 | STDIN 61. |
|---|
| 39 | STDIN 62. |
|---|
| 40 | STDIN 63. proc Test() |
|---|
| 41 | STDIN 64. { |
|---|
| 42 | STDIN 65. def save = basering; |
|---|
| 43 | STDIN 67. |
|---|
| 44 | STDIN 69. def T = getRingWithVar(); setring T; |
|---|
| 45 | STDIN 71. |
|---|
| 46 | STDIN 73. ideal A = B; |
|---|
| 47 | STDIN 75. |
|---|
| 48 | STDIN 77. if(Export == 1) |
|---|
| 49 | STDIN 79. { |
|---|
| 50 | STDIN 81. export A; //??? Why ????? |
|---|
| 51 | STDIN 83. } |
|---|
| 52 | STDIN 85. |
|---|
| 53 | STDIN 87. "Temporary Source Ring", T; |
|---|
| 54 | STDIN 89. "S^k(Source Basis)", A; |
|---|
| 55 | STDIN 91. |
|---|
| 56 | STDIN 93. listvar(); |
|---|
| 57 | STDIN 95. "/-------Tn----------"; listvar(T); "/////////////////"; |
|---|
| 58 | STDIN 97. |
|---|
| 59 | STDIN 99. setring save; |
|---|
| 60 | STDIN 101. |
|---|
| 61 | STDIN 103. listvar(); |
|---|
| 62 | STDIN 105. "/-------T----------"; listvar(T); "/////////////////"; |
|---|
| 63 | STDIN 107. |
|---|
| 64 | STDIN 109. setring T; |
|---|
| 65 | STDIN 111. A; |
|---|
| 66 | STDIN 113. B; // still here after all these setrings... |
|---|
| 67 | STDIN 115. |
|---|
| 68 | STDIN 117. setring save; |
|---|
| 69 | STDIN 119. |
|---|
| 70 | STDIN 121. return(BugHere(T)); |
|---|
| 71 | STDIN 123. } |
|---|
| 72 | STDIN 124> |
|---|
| 73 | STDIN 125. |
|---|
| 74 | STDIN 126. |
|---|
| 75 | STDIN 127. // "main" |
|---|
| 76 | STDIN 128. ring r; |
|---|
| 77 | STDIN 129> int Export = 1; |
|---|
| 78 | STDIN 130> Test(); |
|---|
| 79 | Temporary Source Ring // characteristic : 0 |
|---|
| 80 | // number of vars : 1 |
|---|
| 81 | // block 1 : ordering dp |
|---|
| 82 | // : names t |
|---|
| 83 | // block 2 : ordering C |
|---|
| 84 | S^k(Source Basis) A[1]=t2 |
|---|
| 85 | // T [1] *ring |
|---|
| 86 | // A [0] ideal (SB), 1 generator(s) |
|---|
| 87 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 88 | // save [1] ring |
|---|
| 89 | // Export [0] int 1 |
|---|
| 90 | // r [0] ring |
|---|
| 91 | // tst_status_file [0] string ringVarsInProc.new.s..., 23 char(s) |
|---|
| 92 | /-------Tn---------- |
|---|
| 93 | // T [1] *ring |
|---|
| 94 | // A [0] ideal (SB), 1 generator(s) |
|---|
| 95 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 96 | ///////////////// |
|---|
| 97 | // T [1] ring |
|---|
| 98 | // save [1] *ring |
|---|
| 99 | // Export [0] int 1 |
|---|
| 100 | // r [0] ring(*) |
|---|
| 101 | // tst_status_file [0] string ringVarsInProc.new.s..., 23 char(s) |
|---|
| 102 | /-------T---------- |
|---|
| 103 | // T [1] ring |
|---|
| 104 | // A [0] ideal (SB), 1 generator(s) |
|---|
| 105 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 106 | ///////////////// |
|---|
| 107 | A[1]=t2 |
|---|
| 108 | B[1]=t2 |
|---|
| 109 | mapPower |
|---|
| 110 | /-------T---------- |
|---|
| 111 | // T [2] ring |
|---|
| 112 | // A [0] ideal (SB), 1 generator(s) |
|---|
| 113 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 114 | ///////////////// |
|---|
| 115 | ring T: // characteristic : 0 |
|---|
| 116 | // number of vars : 1 |
|---|
| 117 | // block 1 : ordering dp |
|---|
| 118 | // : names t |
|---|
| 119 | // block 2 : ordering C |
|---|
| 120 | /-------T---------- |
|---|
| 121 | // T [2] *ring |
|---|
| 122 | // A [0] ideal (SB), 1 generator(s) |
|---|
| 123 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 124 | ///////////////// |
|---|
| 125 | // save [2] ring |
|---|
| 126 | // T [2] *ring |
|---|
| 127 | // A [0] ideal (SB), 1 generator(s) |
|---|
| 128 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 129 | // T [1] ring(*) |
|---|
| 130 | // save [1] ring |
|---|
| 131 | // Export [0] int 1 |
|---|
| 132 | // r [0] ring |
|---|
| 133 | // tst_status_file [0] string ringVarsInProc.new.s..., 23 char(s) |
|---|
| 134 | Defined(A)?: 1 |
|---|
| 135 | B[1]=t2 |
|---|
| 136 | A[1]=t2 |
|---|
| 137 | 1 |
|---|
| 138 | STDIN 131> |
|---|
| 139 | STDIN 132. |
|---|
| 140 | STDIN 133. int Export = 0; |
|---|
| 141 | // ** redefining Export ** |
|---|
| 142 | STDIN 134> Test(); |
|---|
| 143 | Temporary Source Ring // characteristic : 0 |
|---|
| 144 | // number of vars : 1 |
|---|
| 145 | // block 1 : ordering dp |
|---|
| 146 | // : names t |
|---|
| 147 | // block 2 : ordering C |
|---|
| 148 | S^k(Source Basis) A[1]=t2 |
|---|
| 149 | // T [1] *ring |
|---|
| 150 | // A [1] ideal (SB), 1 generator(s) |
|---|
| 151 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 152 | // save [1] ring |
|---|
| 153 | // Export [0] int 0 |
|---|
| 154 | // r [0] ring |
|---|
| 155 | // tst_status_file [0] string ringVarsInProc.new.s..., 23 char(s) |
|---|
| 156 | /-------Tn---------- |
|---|
| 157 | // T [1] *ring |
|---|
| 158 | // A [1] ideal (SB), 1 generator(s) |
|---|
| 159 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 160 | ///////////////// |
|---|
| 161 | // T [1] ring |
|---|
| 162 | // save [1] *ring |
|---|
| 163 | // Export [0] int 0 |
|---|
| 164 | // r [0] ring(*) |
|---|
| 165 | // tst_status_file [0] string ringVarsInProc.new.s..., 23 char(s) |
|---|
| 166 | /-------T---------- |
|---|
| 167 | // T [1] ring |
|---|
| 168 | // A [1] ideal (SB), 1 generator(s) |
|---|
| 169 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 170 | ///////////////// |
|---|
| 171 | A[1]=t2 |
|---|
| 172 | B[1]=t2 |
|---|
| 173 | mapPower |
|---|
| 174 | /-------T---------- |
|---|
| 175 | // T [2] ring |
|---|
| 176 | // A [1] ideal (SB), 1 generator(s) |
|---|
| 177 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 178 | ///////////////// |
|---|
| 179 | ring T: // characteristic : 0 |
|---|
| 180 | // number of vars : 1 |
|---|
| 181 | // block 1 : ordering dp |
|---|
| 182 | // : names t |
|---|
| 183 | // block 2 : ordering C |
|---|
| 184 | /-------T---------- |
|---|
| 185 | // T [2] *ring |
|---|
| 186 | // A [1] ideal (SB), 1 generator(s) |
|---|
| 187 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 188 | ///////////////// |
|---|
| 189 | // save [2] ring |
|---|
| 190 | // T [2] *ring |
|---|
| 191 | // A [1] ideal (SB), 1 generator(s) |
|---|
| 192 | // B [0] ideal (SB), 1 generator(s) |
|---|
| 193 | // T [1] ring(*) |
|---|
| 194 | // save [1] ring |
|---|
| 195 | // Export [0] int 0 |
|---|
| 196 | // r [0] ring |
|---|
| 197 | // tst_status_file [0] string ringVarsInProc.new.s..., 23 char(s) |
|---|
| 198 | Defined(A)?: 0 |
|---|
| 199 | B[1]=t2 |
|---|
| 200 | ? `A` is undefined |
|---|
| 201 | ? error occurred in ::BugHere line 18: ` A; ` |
|---|
| 202 | ? leaving ::BugHere |
|---|
| 203 | skipping text from `)` error at token `)` |
|---|
| 204 | ? leaving ::Test |
|---|
| 205 | STDIN 135> |
|---|
| 206 | STDIN 136. |
|---|
| 207 | STDIN 137. $ |
|---|
