|
6534
|
Math Suite by @R10 | Stardance
|
R10
|
0
|
105.42
|
0
|
[]
|
[{"post_id": 58033, "ts": "202 [{"post_id": 58033, "ts": "2026-08-30T11:44:29Z", "hours": 7.6675, "text": "DEVLOG #21 Completed the CLI tool and created binaries for windows and linux using pyinstaller. Also completed the full Guide page on the website with all the relevant rules, syntax and limitations listed cleanly."}, {"post_id": 54909, "ts": "2026-08-26T04:03:17Z", "hours": 1.2047, "text": "DEVLOG #20 Completed and wired Unparser TRY NEW UPDATE I completed the unparser now with the precedence based approach and I can’t believe how much simpler it is and how bad my initial approach was. The thing that makes it work is the new needs_paren function which basically does all the precedence based logic of telling if the child needs parenthesis or not. Basically if the child’s precedence is lower than the parent op then we need a parenthesis. For example: if the child is a + node and the parent is a * node then we would need parenthesis on the child. For example: (x+1) * 3 -> x+1 needed parenthesis. The main part that made me think a bit was the case when precedence of the child and parent is equal. There are basically 3 cases here: When op is + or * , the child never needs parenthesis. When op is - or / , the child only need parenthesis if it is on the right side. For example: precedence of + == - , a + b - c -> a+b is on the left side and hence does not needs parenthesis. Whereas, c - (a+b) -> a+b on the right side needs parenthesis because this basically means c - a - b and not c - a + b . Hence, parenthesis is required. When op is ^ , parenthesis is only required when the child is on the left and not when it is on the right. For example: a^b^c does not need parenthesis (even though it could be written as a^(b^c) ) but, (a^b)^c needs parenthesis because this means a^(b*c) as the powers multiply. I have also wired in the unparser function to derivative and simplify too so now the result is an expression instead of a tuple. Now I will update my README.md and explain the working of the unparser and then I will work on adding the guide page to my website."}, {"post_id": 54516, "ts": "2026-08-25T15:24:49Z", "hours": 3.9794, "text": "DEVLOG #19 Another Setback I was working on the unparse function today. Basically the idea was simply to recurse through the tree and form the expression as a string. Now, the hard part in this was to decide when to apply parenthesis. Basically, we have to apply parenthesis to any child of the function which has a lower precedence then the current parent op. I did not have this idea as well set in my mind when i was making this function and I just wasted 4 hours today trying to stack up elif cases with or conditions to try to cover every shape. Basically, I was thinking that for * / / , there are only 4 base cases: both children need parenthesis left needs parenthesis right needs parenthesis none need parenthesis I took that as a starting point and then i started to think of cases which would satisfy that and that caused me to build up this or-or-or jargon. I am really pissed. Now I will change my direction and move onto a precedence based approach which checks if the precedence of the child is lesser than the parent op, if yes then parenthesize it and if no then check if precedence is equal, if it is then check for associativity. That is the plan and I hope I don’t mess up this time."}, {"post_id": 53795, "ts": "2026-08-24T14:32:20Z", "hours": 4.6131, "text": "DEVLOG #18 LIVE PROJECT I have finally deployed the Version-1 of the project on vercel, check it out at the link above. I also completed the README for my repo explaining all the features and limitations of the project. Now I will be working on making an unparser to show the users a clean expressions as a result from the calculator instead of AST nodes and I will also add a guide page on the website for the syntax rules and general guide."}, {"post_id": 53022, "ts": "2026-08-23T12:29:17Z", "hours": 6.5536, "text": "DEVLOG #17 Completed Styling (would appreciate feedback) Features: AST generator AST visualizer (downloadable SVG trees) Domain calculator Range Calculator Derivative calculator Simplification Next steps: AST back to expression generator because right now all the calculators give the result in terms of AST nodes so i need a reverse-parser which I think would be easy. Making a simpler bare bones CLI tool for simpler People. adding a guide page to the website explaining all the limitations and syntax of the calculator. hosting on my own domain? That is all that I can think for now. Right now I have not hosted the website because I am thinking of adding a few more features like user changeable SVG node and line colors, etc."}, {"post_id": 51764, "ts": "2026-08-21T16:32:30Z", "hours": 7.3219, "text": "DEVLOG #16 More PROGRESS! completed range.py tested edge cases with some pretty nasty ones and have decided to leave some limitations like not supporting gif/frac/sec/tan… functions because of their nature. General Debugging created all the flask endpoints along with the basic HTML layout of the website and wiring in the JS. Website is tested and all endpoints are working Now, I will focus on adding some styling to the website and also making the user experience better."}, {"post_id": 50948, "ts": "2026-08-20T12:44:34Z", "hours": 7.7231, "text": "DEVLOG #15 Real PROGRESS! Completed the full differentiation pipeline which is working completely now with all edge cases (that I have tested) handled. converted simplify to a standalone file as I noticed that simplify could be used as a general simplification pipeline for ALL generated nodes in my maths suite. Created pow_to_div function in simplify to turn negative exponents into division nodes to make the simplification pipeline truly generalized because none of my other algorithms expect a negative exponent. A LOT of debugging in domain.py and testing some edge cases. Adding support for multiple exclusions instead of single in normalize_domain . Earlier: (-∞, -2) ∪ (-2, 2) ∪ (2, ∞) Now: R-{-2, 2} which is a much cleaner solution Now I am working on completing range.py and then finally making the website for the full maths suite. I am a bit confused. I am not able choose between flask and FastAPI. If you have read all this then would you also mind sharing your opinion on what should I use in the comments?"}, {"post_id": 48137, "ts": "2026-08-16T13:02:18Z", "hours": 7.85, "text": "DEVLOG #14 Completed the full simplify_initial pipeline. Handled cases with 0 and 1 and traced a full long recursion by hand to better understand the pattern and make iterative debugging faster. Also handled negative node by simplifying the ('*', '-1', right) node formed so that any coefficients collapse cleanly and the term can form correctly with a negative coefficient. EXAMPLE:- Earlier: x - 3x -> terms = [(1.0, 'x', 1.0), (-1.0, ('*', '3', 'x'), 1.0)] Now: x - 3x -> terms = [(1.0, 'x', 1.0), (-3.0, 'x', 1.0)] Therefore, now merging terms will result in ('*', '-2', 'x') I pasted my code into claude and asked it to generate me some test cases which it believes would fail and now I am working on debugging them with a mix of hand tracing recursion and simple fixes so the pipeline is almost at its end (I hope)."}, {"post_id": 45545, "ts": "2026-08-12T03:20:05Z", "hours": 7.77, "text": "DEVLOG #13 I have completed the basic simplification functions now but, it is not working perfectly and there are still some changes to be made. for example, handling cases where it is multiplied by 0, or when 0 is added, or it is multiplied by 1, etc. so I think it requires a bit more of iterative debugging to catch all of the edge cases. I have formalized the design of simplification into: Flatten -> form_term -> merge_terms -> form_node -> rebuild which is much better then the previous logic that I had where I was adding more edge cases for handling each case. Right now I will be testing the full recursion for a test case to check where it goes wrong right now in the pipeline to fix it."}, {"post_id": 42398, "ts": "2026-08-07T02:47:07Z", "hours": 8.9103, "text": "STUCK So basically, since my last devlog, the main feature of the new derivative calculator that I had proudly announced is now coming to bite me. The simplification is so tough. Let me explain you all the turn of events. (Simplification is still not complete) basically, my initial idea of simplification was just removing all the temporary zeros and ones that were generated by the derivative itself. Then I thought of increasing the initial scope to support some other simplifications like (‘ ’, ‘2’, (’ ’, ‘2’, ‘x’)) should be solved to (‘ ’, ‘4’, ‘x’). I managed to achieve this simplification too but, I found out there are a lot more simplification cases that I need to handle after we get the derivative. for example: x - 3x, which should be simplified to -2x. For that I had to build an approach which would take the coefficient and base then operate on the coefficients for the same bases according to the operator. Therefore, for x the coeff is 1 and then for 3x the coeff is 3 but that is incorrect. In the case of x-3x, the coefficients should be 1 and -3 so that when i add them i get -2 as the final coefficient for x. To do that, I had to switch all binary subtraction expression and turn them into additive unary negative for op = ‘+’ so that x - 3x turns into x + (-3x). Now, all this actually worked but the main problem was that now the flattened list looks like [‘x’, (’ ’, ‘-1’, (‘ ’, ‘3’, ‘x’))] which means I cannot reliably extract the coefficients now. I first have to handle the recursive case of flattening the node again, turning (’ ’, ‘-1’, (‘ ’, ‘3’, ‘x’)) to the flattened version [‘-1’, ‘3’, ‘x’] and then i would have to run it back through combine where it would be formed as calc = -3 and symbols = ‘x’ and then rebuild it as the node (’ ’, ‘-3’, ‘x’). Only after that can i actually extract the coefficients and compare the bases of the two expressions which would be 1 and -3 and calculate them according to the op => ‘+’ to finally give -2 as calc and ‘x’ as symbols and then rebuild that again into (‘ ’, ‘-2’, ‘x’) to solve it. Now this was just one case for one operator but i need to handle both ‘+’ and ’ ’ as the both have associativity and there are other cases for other ops too like x^2/x should just simplify to x. I have already added so much code that I myself feel like the approach is very wrong and the more I build the more edge cases I am adding because right now the amount of if-else handling for specific cases is crazy so I really think that I need to reconsider my approach for simplification. The derivative calculator is taking too much time considering it is an intermediate step but I think it would be worth it because this simplification step is something that I have never done before so I would be learning something anyway."}, {"post_id": 37427, "ts": "2026-07-30T04:49:03Z", "hours": 8.0483, "text": "Derivative For finding the range, I am opting for method of differentiation to check intervals. hence, I have made derivative.py for differentiation. This is my second derivative calculator. The first one that I built was made completely using string slicing and weird string manipulation and pretty biased logic where everything was stored in the form of a dictionary. To be honest, I was pretty proud of that calculator because I was able to make it just using the knowledge I had, and recursion is not innate (I think) and I was still able to do it so I am proud of it. But, it was no doubt pretty inefficient with a lot of edge cases. Therefore, this time i am making a better calculator using my new AST representation and A LOT more recursion. This calculator will process more functions and it will be able to simplify the derivative too, for example: derivative of 2x^2 will not be displayed as 2*2x, rather it will be correctly displayed as 4x."}, {"post_id": 33852, "ts": "2026-07-24T03:07:49Z", "hours": 6.1169, "text": "Devlog #10 Completed domain.py finished coding domain.py and tested about 20 test-cases on it. Completed debugging to finally finish domain calculation and start with Range. I do not know what else to tell you all as it has been a few days of coding and debugging with different bugs surfacing like incorrect handling of undefined functions, normalizing output, handling union cases correctly, etc."}, {"post_id": 32213, "ts": "2026-07-21T07:27:55Z", "hours": 5.6939, "text": "Union and Intersection of intervals I have made the intersection function which takes intervals and unions them together. I am now working on the union function. I initially used recursion to do the job but that was incorrect that the better method was just to sort the intervals list and then use a simple loop to evaluate the union. Here is the issue i was facing: [[A, B, C, D], E] AUE-> False, BUE-> False, CUE-> True => [F, A, B, D] union [F, A, B, D]-> FUA-> False => [[F,A], B, D] again [F,A], B => FUB-> False, BUA-> False => [F, A, B] => union this list now => FUA-> False => [[F,A], B] then again [F,A], B => FUB-> False, BUA-> False => [F, A, B] => FUA-> False => [[F,A], B] this goes on and on infinitely This is a problem of infinite recursion"}, {"post_id": 30591, "ts": "2026-07-18T09:17:11Z", "hours": 4.9469, "text": "It has been a tough journey If you read my previous devlog, it almost feels like i was foreshadowing what was about to happen to me. While making the solve_node function which would solve the inequality for x, i got lost in the mess of symbolic mathematics and started handling cases with fallbacks upon fallbacks. It has really a hot mess, I got to find out that there can be many types of questions and to solve every type of domain question, I would need fallback logic for every type of question which would mean I would have to encompass all the techniques in domain finding into the file and manage the interaction of the techniques and orchestrate them at a high level and basically making my own sympy (which took decades to build). I even thought of quitting a few times and the project was basically at a halt for 1-2 days. I then decided to solve a simple domain question by hand to check what really are the steps of finding the domain of a function. I found out that my logic up until making the constraints was fine. The next steps were finding critical points for example: (x-2)(x+3)>0 would have critical points 2 and -3 (they are just the points where the function is zero). Now, I also know that critical points also occur when the sign of the function changes or when its nature changes (going from defined to undefined and vice-versa) so instead of making a symbolic critical point finding function I thought of a more brute force method. If I have a number line (range of numbers) and i simply walk through them one by one, noting sign change between 2 numbers as a sign “there is a critical point here” and then use another function to basically go into each of those marked intervals and continuously half the interval (think of it as taking an interval and then zooming into the interval until you find the critical point) until about 9 decimal places (could be anything, it is just the amount of accuracy), you would get the critical point pretty accurately without having to solve anything using logic or symbolically, just substitute values of x. After finding the critical points, turning it into domain is as simple as just substituting points and see if the inequality holds."}, {"post_id": 28299, "ts": "2026-07-14T13:49:18Z", "hours": 2.7275, "text": "Domain Calculation Started the domain calculation file (domain.py) and made the function get_constraints() that recurses through the tree to look for domain restricting operators like /, sqrt, log, arcsin, etc. into a list. next steps are to solve each of the generated constraints (inequalities) and then combine them to get the domain for x (or any variable). Currently working on trying to solve the inequalities but it is proving to be pretty difficult so it could take longer than usual."}, {"post_id": 27119, "ts": "2026-07-12T12:03:05Z", "hours": 0.3206, "text": "AST Visualizer (continued) Case-2 If the node is not a leaf (i.e. not a string) we will again check for 2 cases. the node can either have 1 child or 2 children. If there are 2 children then we have to make 2 recursive calls but if we have a single child then only one and the other stuff is pretty similar so I will only explain the case when there are 2 children. first of all, we unpack the node to get op, left and right. Now we call assign_positions with depth+1 (to effectively track each level we go down), on left and right and extract: x-position of children, id of children and the parameters that get updated (id_count and leaf_count). next, we used children’s x-position, average it to get the op’s x-position. We make the tree: tree[op_id] = {'label': op, 'x': op_x, 'depth': depth, 'children': [l_id, r_id]} . Now we increase the id_count by 1 but not the leaf_count as we have not encountered a leaf (I had made a mistake here and increased leaf_count in the case where the node is not a leaf because I had named the variable as x_position earlier and thought that it must increment everywhere but forgot that we are averaging the children’s x-position to get op’s x-position so i do not need to increment it, which is why I have cleared this up). Now we return the same stuff: op_id, id_count, op_x, leaf_count, tree. Rendering Tree The actual tree generation is simply looping through the dictionary. The important function is converting x_position and depth values that are simple integers into actual pixel positions to actually position the circles in the correct spot which is done by pixel_x = margin+x*x_spacing and pixel_y = margin+depth*y_spacing where margin, x_spacing and y_spacing are all hyper-parameters. The next function is draw_nodes which simply loops though the values of tree dictionary gets the x and depth for each node, converts them to actual coordinated using get_pixel_coords and then creates the svg line: '<circle cx=\"{x}\" cy=\"{y}\" r=\"25\" fill=\"white\" stroke=\"black\" /> <text x=\"{x}\" y=\"{y}\" text-anchor=\"middle\" dominant-baseline=\"middle\">{i['label']}</text>' for each node and its text. The other is draw_lines. It takes all the parent nodes and gets their x and y value as pixel coordinates. Then, it gets the children of the node and for each child’s id, the function gets the child by its id, then gets the x and y coordinates of the child as pixel coordinates and then draws the line as per this syntax: f'<line x1=\"{x1}\" y1=\"{y1}\" x2=\"{x2}\" y2=\"{y2}\" stroke=\"white\" />' Finally we have the render_expression function which wraps everything into a single sequence of operations and creates the final svg code: f'<svg xmlns=\"http://www.w3.org/2000/svg\" width=\"850\" height=\"650\"> {lines} {nodes} </svg>' and created an svg file to view the final tree."}, {"post_id": 27067, "ts": "2026-07-12T09:05:33Z", "hours": 3.9078, "text": "AST Visualizer After completing my tokenizer and parser with a few fixes, I wanted to move straight onto building the actual domain and range logic and setting up all the constraints, but instead, I had another idea. Whenever I saw the output of my parser, it just seemed a bit meh . The output was just a nested tuple and it was not looking like what I had built was a tree. So, as a side quest, I built an SVG AST visualizer that takes the tuple and build its tree and it is SVG and not matplotlib so that if I ever decide to turn this program into a website, I can simply plug in this code and get the output straight in a web page. How it works: For the people curious as to how it works, I am sorry if my explanation does not make sense because even I do not understand it very well (I am pretty bad at recursion). basically, the main function that lets me plot these nodes in a 2D space is assign_positions. If we do not focus on recursion yet, the basic idea of this function is that there are 2 types of node: leaf nodes and internal nodes . Leaf nodes are the nodes which do not have any children and terminate the branch i.e. are terminal . whereas, internal nodes have children and branch out further to extend the tree i.e. are non-terminal . The basic hypothesis was that if there are two leaf nodes, and I assign them an x-position of 0 and 1, their parent node should be at a position which is the mid point (or average) of its children. Which means, the parent node of two leaf nodes (or internal nodes) at x-position 0 and 1 would lie at x-position 0.5 (avg of 0 and 1). now for the y-position, I have used depth as the name where the idea was simply that with every new node, the depth should increase by 1. Now we come to recursion and how I generalized this position idea to any possible tuple. The basic things that the assign_positions function takes are: node-> Current node depth-> Current depth/ y-position id_count-> The ID assigned to the node leaf_count-> Basically the x-position of the leaves tree-> Current tree dictionary There are 2 cases, the node can either be a leaf or an internal node. If the node is a leaf node, then we simple make the tree: tree[str_id] = {'label': node, 'x': str_x, 'depth': depth} . we increase leaf_count by 1 (because if the x-position assigned to this node was 0 then the next leaf node should have it as 1) and we increase id_count by 1. This case returns the x-position assigned to this node-> str_x, the id assigned to this node-> str_id, the current id_count, the current leaf_count and the current tree. These specific constraints are returned because If a parent had done a recursive call and the node was a leaf node then the parent would require: the child’s x position to average left and right positions to set its own position. the child’s id to keep track of it in its own dictionary. the current id_count and leaf_count so that an assigned number is not reassigned to another node by mistake in a recursive call. Case-2 and tree rendering covered in next devlog"}, {"post_id": 26425, "ts": "2026-07-11T06:35:09Z", "hours": 1.6078, "text": "Debugging Day fixed unary negative operation on a function like -sqrt in the tokenizer. added support for implicit multiplication in the tokenizer (right now only valid for alphabets after numbers like 3x, 25x, etc. and not for alphabet after alphabet like xsin(x), xlog(x), etc.) fixed the decimal point collection in the tokenizer due to the failed test case: -.5 Added support for exponents by adding parse_pow() . initially i had simply copied the structure of parse_add and parse_mul and ran the test case but i found out that the result was wrong. My current parsing algorithm has natural left associativity, which is required for other operators but, is wrong for power. Because, 2^3^2 should result in 2^(3^4) and not (2^3)^4, which means i needed right associativity. For getting right associativity, i had to make it such that the right term of the node was recursively calling parse_pow(), so that everything after it would get parsed first which would give us right associativity."}, {"post_id": 25763, "ts": "2026-07-10T06:37:12Z", "hours": 5.1942, "text": "Parser Testing I spent about 4 hours testing and debugging the recursive decent parsing algorithm, trying to understand the flow by writing each and every step. Here are my test cases. Test case-1 exp = 2+3*4 tokens = ['2', '+', '3', '*', '4'] expected result = ('+', 2, ('*', 3, 4)) This test case was used so that i can better understand parse_add and parse_mul along with the main parse_atom. Reached the correct answer. Found a bug in approach: I was not handling the case when pos was out of index ideally. Researched a bit on RDP and found out there is a basic template used in RDP which is while pos < len(tokens) ... and thus used this refined knowledge in my successive attempts. Test case-2 exp = 2+3+4+5 tokens = ['2', '+', '3', '+', '4', '+', '5'] expected result = ('+', ('+', ('+', 2, 3), 4), 5) This specific test case defines why a while loop is important as it includes accumulation of same operator. I wanted to work through this by hand as I was really confused why we need a while loop instead of a simple if-else check whether the pos is out of range or not but the answer became clean when i worked through it. Reached the correct answer. Test case-3 exp = (2+3)*4+1 tokens = ['(', '2', '+', '3', ')', '*', '4', '+', '1'] expected result = ('+', ('*', ('+', 2, 3), 4), 1) I used this test case as it introduces parenthesis into the parsing algorithm which is a fundamental feature. correctly worked through the parsing and reached the correct answer. Parser I also completed the v1 of the parser in just 20 minutes. It is pretty hilarious that it took me 4 hours just to understand RDP but 20 minutes to code it. But, I believe those were 4 hours well spend because earlier, I found RDP to be mind breaking, but now I understand it so well that I think I can teach it even to a 12 year old."}, {"post_id": 24691, "ts": "2026-07-08T13:28:05Z", "hours": 1.3383, "text": "Tokenizer progress: 1. Added decimal point support: Failed attempt : I initially tried to detect . from inside the .isdigit if-elif loop like detecting a continuation of digits but failed on case \"12.34\" → ['1234'] and then found the simpler solution. Added elif exp[i] == \".\": num.append(exp[i]) as its own top-level case, letting a decimal point unconditionally join whatever number is currently being built inside the num list. all test cases passed: \"0.3 + 1.5436* 245\" → ['0.3', '+', '1.5436', '*', '245'] . And, \"3.5\" , \".5\" , \"12.34\" all correctly maintained their decimal points. tested all of the previous test cases like multi-digit numbers, multi-letter function names, parentheses, mixed expressions and all passed . 2. Added Unary minus v/s binary subtraction distinction: While thinking of some more edge cases, I found a case \"2*-3\" → ['2', '*', '-', '3'] which was wrong and I found out that the tokenizer needs to make the distinction between a unary minus -3 , -x , etc. and a binary minus 2-3 , x-4 , etc. Added a special condition for - in the top level operator detecting if block and handling edge cases in the .isdigit and .isalpha elif blocks. All test cases passed:- \"3-2\" → ['3', '-', '2'] \"3*-2\" → ['3', '*', '-2'] \"-2+3\" → ['-2', '+', '3'] \"(-2)\" → ['(', '-2', ')'] \"3--2\" → ['3', '-', '-2'] 3. Added support for new operators and functions: Support for ^ operator by adding it to the top level operator detecting if block . Support for Absolute Value |x| by adding it to the top level operator detecting if block . Support for Fractional Part Function {x} by adding it to the top level operator detecting if block . Support for Greatest Integer Function [x] by adding it to the top level operator detecting if block . Also added these cases inside the unary minus handling if block thus passing all possible test cases. Status: The tokenizer part is complete for now. There are a few changes to be made, like adding support for implicit multiplication. Though, it is something that could be handled by the parser so I will handle it as time comes."}, {"post_id": 24112, "ts": "2026-07-07T14:03:11Z", "hours": 1.9192, "text": "This is the first devlog for my Domain and Range calculator. I have completed making the first part of my custom AST algorithm: the tokenizer. I have used simple string parsing to separate specific terms in the expression. The algorithm handles sequence of characters (like alphabets or digits) as a single term which opens up the world to more complex and some basic and necessary functions like sqrt(), log(), trigonometric and inverse trigonometric functions. I am now going to handle some edge cases and try to functionize or shorten the collection of characters part as I have noticed that The process is same for digit and alphabets so I could potentially shorten the code. I expect this program to fit cleanly into the larger mathematical suit that I am trying to build to support most of mathematics along with support for coordinate geometry but that is something for later."}]...
|
Title: Math Suite by @R10 | Stardance
Devlogs:
Th Title: Math Suite by @R10 | Stardance
Devlogs:
This is the first devlog for my Domain and Range calculator. I have completed making the first part of my custom AST algorithm: the tokenizer. I have used simple string parsing to separate specific terms in the expression. The algorithm handles sequence of characters (like alphabets or digits) as a single term which opens up the world to more complex and some basic and necessary functions like sqrt(), log(), trigonometric and inverse trigonometric functions. I am now going to handle some edge cases and try to functionize or shorten the collection of characters part as I have noticed that The process is same for digit and alphabets so I could potentially shorten the code. I expect this program to fit cleanly into the larger mathematical suit that I am trying to build to support most of mathematics along with support for coordinate geometry but that is something for later.
Tokenizer progress: 1. Added decimal point support: Failed attempt : I initially tried to detect . from inside the .isdigit if-elif loop like detecting a continuation of digits but failed on case "12.34" → ['1234'] and then found the simpler solution. Added elif exp[i] == ".": num.append(exp[i]) as its own top-level case, letting a decimal point unconditionally join whatever number is currently being built inside the num list. all test cases passed: "0.3 + 1.5436* 245" → ['0.3', '+', '1.5436', '*', '245'] . And, "3.5" , ".5" , "12.34" all correctly maintained their decimal points. tested all of the previous test cases like multi-digit numbers, multi-letter function names, parentheses, mixed expressions and all passed . 2. Added Unary minus v/s binary subtraction distinction: While thinking of some more edge cases, I found a case "2*-3" → ['2', '*', '-', '3'] which was wrong and I found out that the tokenizer needs to make the distinction between a unary minus -3 , -x , etc. and a binary minus 2-3 , x-4 , etc. Added a special condition for - in the top level operator detecting if block and handling edge cases in the .isdigit and .isalpha elif blocks. All test cases passed:- "3-2" → ['3', '-', '2'] "3*-2" → ['3', '*', '-2'] "-2+3" → ['-2', '+', '3'] "(-2)" → ['(', '-2', ')'] "3--2" → ['3', '-', '-2'] 3. Added support for new operators and functions: Support for ^ operator by adding it to the top level operator detecting if block . Support for Absolute Value |x| by adding it to the top level operator detecting if block . Support for Fractional Part Function {x} by adding it to the top level operator detecting if block . Support for Greatest Integer Function [x] by adding it to the top level operator detecting if block . Also added these cases inside the unary minus handling if block thus passing all possible test cases. Status: The tokenizer part is complete for now. There are a few changes to be made, like adding support for implicit multiplication. Though, it is something that could be handled by the parser so I will handle it as time comes.
Parser Testing I spent about 4 hours testing and debugging the recursive decent parsing algorithm, trying to understand the flow by writing each and every step. Here are my test cases. Test case-1 exp = 2+3*4 tokens = ['2', '+', '3', '*', '4'] expected result = ('+', 2, ('*', 3, 4)) This test case was used so that i can better understand parse_add and parse_mul along with the main parse_atom. Reached the correct answer. Found a bug in approach: I was not handling the case when pos was out of index ideally. Researched a bit on RDP and found out there is a basic template used in RDP which is while pos < len(tokens) ... and thus used this refined knowledge in my successive attempts. Test case-2 exp = 2+3+4+5 tokens = ['2', '+', '3', '+', '4', '+', '5'] expected result = ('+', ('+', ('+', 2, 3), 4), 5) This specific test case defines why a while loop is important as it includes accumulation of same operator. I wanted to work through this by hand as I was really confused why we need a while loop instead of a simple if-else check whether the pos is out of range or not but the answer became clean when i worked through it. Reached the correct answer. Test case-3 exp = (2+3)*4+1 tokens = ['(', '2', '+', '3', ')', '*', '4', '+', '1'] expected result = ('+', ('*', ('+', 2, 3), 4), 1) I used this test case as it introduces parenthesis into the parsing algorithm which is a fundamental feature. correctly worked through the parsing and reached the correct answer. Parser I also completed the v1 of the parser in just 20 minutes. It is pretty hilarious that it took me 4 hours just to understand RDP but 20 minutes to code it. But, I believe those were 4 hours well spend because earlier, I found RDP to be mind breaking, but now I understand it so well that I think I can teach it even to a 12 year old.
Debugging Day fixed unary negative operation on a function like -sqrt in the tokenizer. added support for implicit multiplication in the tokenizer (right now only valid for alphabets after numbers like 3x, 25x, etc. and not for alphabet after alphabet like xsin(x), xlog(x), etc.) fixed the decimal point collection in the tokenizer due to the failed test case: -.5 Added support for exponents by adding parse_pow() . initially i had simply copied the structure of parse_add and parse_mul and ran the test case but i found out that the result was wrong. My current parsing algorithm has natural left associativity, which is required for other operators but, is wrong for power. Because, 2^3^2 should result in 2^(3^4) and not (2^3)^4, which means i needed right associativity. For getting right associativity, i had to make it such that the right term of the node was recursively calling parse_pow(), so that everything after it would get parsed first which would give us right associativity.
AST Visualizer After completing my tokenizer and parser with a few fixes, I wanted to move straight onto building the actual domain and range logic and setting up all the constraints, but instead, I had another idea. Whenever I saw the output of my parser, it just seemed a bit meh . The output was just a nested tuple and it was not looking like what I had built was a tree. So, as a side quest, I built an SVG AST visualizer that takes the tuple and build its tree and it is SVG and not matplotlib so that if I ever decide to turn this program into a website, I can simply plug in this code and get the output straight in a web page. How it works: For the people curious as to how it works, I am sorry if my explanation does not make sense because even I do not understand it very well (I am pretty bad at recursion). basically, the main function that lets me plot these nodes in a 2D space is assign_positions. If we do not focus on recursion yet, the basic idea of this function is that there are 2 types of node: leaf nodes and internal nodes . Leaf nodes are the nodes which do not have any children and terminate the branch i.e. are terminal . whereas, internal nodes have children and branch out further to extend the tree i.e. are non-terminal . The basic hypothesis was that if there are two leaf nodes, and I assign them an x-position of 0 and 1, their parent node should be at a position which is the mid point (or average) of its children. Which means, the parent node of two leaf nodes (or internal nodes) at x-position 0 and 1 would lie at x-position 0.5 (avg of 0 and 1). now for the y-position, I have used depth as the name where the idea was simply that with every new node, the depth should increase by 1. Now we come to recursion and how I generalized this position idea to any possible tuple. The basic things that the assign_positions function takes are: node-> Current node depth-> Current depth/ y-position id_count-> The ID assigned to the node leaf_count-> Basically the x-position of the leaves tree-> Current tree dictionary There are 2 cases, the node can either be a leaf or an internal node. If the node is a leaf node, then we simple make the tree: tree[str_id] = {'label': node, 'x': str_x, 'depth': depth} . we increase leaf_count by 1 (because if the x-position assigned to this node was 0 then the next leaf node should have it as 1) and we increase id_count by 1. This case returns the x-position assigned to this node-> str_x, the id assigned to this node-> str_id, the current id_count, the current leaf_count and the current tree. These specific constraints are returned because If a parent had done a recursive call and the node was a leaf node then the parent would require: the child’s x position to average left and right positions to set its own position. the child’s id to keep track of it in its own dictionary. the current id_count and leaf_count so that an assigned number is not reassigned to another node by mistake in a recursive call. Case-2 and tree rendering covered in next devlog
AST Visualizer (continued) Case-2 If the node is not a leaf (i.e. not a string) we will again check for 2 cases. the node can either have 1 child or 2 children. If there are 2 children then we have to make 2 recursive calls but if we have a single child then only one and the other stuff is pretty similar so I will only explain the case when there are 2 children. first of all, we unpack the node to get op, left and right. Now we call assign_positions with depth+1 (to effectively track each level we go down), on left and right and extract: x-position of children, id of children and the parameters that get updated (id_count and leaf_count). next, we used children’s x-position, average it to get the op’s x-position. We make the tree: tree[op_id] = {'label': op, 'x': op_x, 'depth': depth, 'children': [l_id, r_id]} . Now we increase the id_count by 1 but not the leaf_count as we have not encountered a leaf (I had made a mistake here and increased leaf_count in the case where the node is not a leaf because I had named the variable as x_position earlier and thought that it must increment everywhere but forgot that we are averaging the children’s x-position to get op’s x-position so i do not need to increment it, which is why I have cleared this up). Now we return the same stuff: op_id, id_count, op_x, leaf_count, tree. Rendering Tree The actual tree generation is simply looping through the dictionary. The important function is converting x_position and depth values that are simple integers into actual pixel positions to actually position the circles in the correct spot which is done by pixel_x = margin+x*x_spacing and pixel_y = margin+depth*y_spacing where margin, x_spacing and y_spacing are all hyper-parameters. The next function is draw_nodes which simply loops though the values of tree dictionary gets the x and depth for each node, converts them to actual coordinated using get_pixel_coords and then creates the svg line: '<circle cx="{x}" cy="{y}" r="25" fill="white" stroke="black" /> <text x="{x}" y="{y}" text-anchor="middle" dominant-baseline="middle">{i['label']}</text>' for each node and its text. The other is draw_lines. It takes all the parent nodes and gets their x and y value as pixel coordinates. Then, it gets the children of the node and for each child’s id, the function gets the child by its id, then gets the x and y coordinates of the child as pixel coordinates and then draws the line as per this syntax: f'<line x1="{x1}" y1="{y1}" x2="{x2}" y2="{y2}" stroke="white" />' Finally we have the render_expression function which wraps everything into a single sequence of operations and creates the final svg code: f'<svg xmlns="http://www.w3.org/2000/svg" width="850" height="650"> {lines} {nodes} </svg>' and created an svg file to view the final tree.
Domain Calculation Started the domain calculation file (domain.py) and made the function get_constraints() that recurses through the tree to look for domain restricting operators like /, sqrt, log, arcsin, etc. into a list. next steps are to solve each of the generated constraints (inequalities) and then combine them to get the domain for x (or any variable). Currently working on trying to solve the inequalities but it is proving to be pretty difficult so it could take longer than usual.
It has been a tough journey If you read my previous devlog, it almost feels like i was foreshadowing what was about to happen to me. While making the solve_node function which would solve the inequality for x, i got lost in the mess of symbolic mathematics and started handling cases with fallbacks upon fallbacks. It has really a hot mess, I got to find out that there can be many types of questions and to solve every type of domain question, I would need fallback logic for every type of question which would mean I would have to encompass all the techniques in domain finding into the file and manage the interaction of the techniques and orchestrate them at a high level and basically making my own sympy (which took decades to build). I even thought of quitting a few times and the project was basically at a halt for 1-2 days. I then decided to solve a simple domain question by hand to check what really are the steps of finding the domain of a function. I found out that my logic up until making the constraints was fine. The next steps were finding critical points for example: (x-2)(x+3)>0 would have critical points 2 and -3 (they are just the points where the function is zero). Now, I also know that critical points also occur when the sign of the function changes or when its nature changes (going from defined to undefined and vice-versa) so instead of making a symbolic critical point finding function I thought of a more brute force method. If I have a number line (range of numbers) and i simply walk through them one by one, noting sign change between 2 numbers as a sign “there is a critical point here” and then use another function to basically go into each of those marked intervals and continuously half the interval (think of it as taking an interval and then zooming into the interval until you find the critical point) until about 9 decimal places (could be anything, it is just the amount of accuracy), you would get the critical point pretty accurately without having to solve anything using logic or symbolically, just substitute values of x. After finding the critical points, turning it into domain is as simple as just substituting points and see if the inequality holds.
Union and Intersection of intervals I have made the intersection function which takes intervals and unions them together. I am now working on the union function. I initially used recursion to do the job but that was incorrect that the better method was just to sort the intervals list and then use a simple loop to evaluate the union. Here is the issue i was facing: [[A, B, C, D], E] AUE-> False, BUE-> False, CUE-> True => [F, A, B, D] union [F, A, B, D]-> FUA-> False => [[F,A], B, D] again [F,A], B => FUB-> False, BUA-> False => [F, A, B] => union this list now => FUA-> False => [[F,A], B] then again [F,A], B => FUB-> False, BUA-> False => [F, A, B] => FUA-> False => [[F,A], B] this goes on and on infinitely This is a problem of infinite recursion
Devlog #10 Completed domain.py finished coding domain.py and tested about 20 test-cases on it. Completed debugging to finally finish domain calculation and start with Range. I do not know what else to tell you all as it has been a few days of coding and debugging with different bugs surfacing like incorrect handling of undefined functions, normalizing output, handling union cases correctly, etc.
Derivative For finding the range, I am opting for method of differentiation to check intervals. hence, I have made derivative.py for differentiation. This is my second derivative calculator. The first one that I built was made completely using string slicing and weird string manipulation and pretty biased logic where everything was stored in the form of a dictionary. To be honest, I was pretty proud of that calculator because I was able to make it just using the knowledge I had, and recursion is not innate (I think) and I was still able to do it so I am proud of it. But, it was no doubt pretty inefficient with a lot of edge cases. Therefore, this time i am making a better calculator using my new AST representation and A LOT more recursion. This calculator will process more functions and it will be able to simplify the derivative too, for example: derivative of 2x^2 will not be displayed as 2*2x, rather it will be correctly displayed as 4x.
STUCK So basically, since my last devlog, the main feature of the new derivative calculator that I had proudly announced is now coming to bite me. The simplification is so tough. Let me explain you all the turn of events. (Simplification is still not complete) basically, my initial idea of simplification was just removing all the temporary zeros and ones that were generated by the derivative itself. Then I thought of increasing the initial scope to support some other simplifications like (‘ ’, ‘2’, (’ ’, ‘2’, ‘x’)) should be solved to (‘ ’, ‘4’, ‘x’). I managed to achieve this simplification too but, I found out there are a lot more simplification cases that I need to handle after we get the derivative. for example: x - 3x, which should be simplified to -2x. For that I had to build an approach which would take the coefficient and base then operate on the coefficients for the same bases according to the operator. Therefore, for x the coeff is 1 and then for 3x the coeff is 3 but that is incorrect. In the case of x-3x, the coefficients should be 1 and -3 so that when i add them i get -2 as the final coefficient for x. To do that, I had to switch all binary subtraction expression and turn them into additive unary negative for op = ‘+’ so that x - 3x turns into x + (-3x). Now, all this actually worked but the main problem was that now the flattened list looks like [‘x’, (’ ’, ‘-1’, (‘ ’, ‘3’, ‘x’))] which means I cannot reliably extract the coefficients now. I first have to handle the recursive case of flattening the node again, turning (’ ’, ‘-1’, (‘ ’, ‘3’, ‘x’)) to the flattened version [‘-1’, ‘3’, ‘x’] and then i would have to run it back through combine where it would be formed as calc = -3 and symbols = ‘x’ and then rebuild it as the node (’ ’, ‘-3’, ‘x’). Only after that can i actually extract the coefficients and compare the bases of the two expressions which would be 1 and -3 and calculate them according to the op => ‘+’ to finally give -2 as calc and ‘x’ as symbols and then rebuild that again into (‘ ’, ‘-2’, ‘x’) to solve it. Now this was just one case for one operator but i need to handle both ‘+’ and ’ ’ as the both have associativity and there are other cases for other ops too like x^2/x should just simplify to x. I have already added so much code that I myself feel like the approach is very wrong and the more I build the more edge cases I am adding because right now the amount of if-else handling for specific cases is crazy so I really think that I need to reconsider my approach for simplification. The derivative calculator is taking too much time considering it is an intermediate step but I think it would be worth it because this simplification step is something that I have never done before so I would be learning something anyway.
DEVLOG #13 I have completed the basic simplification functions now but, it is not working perfectly and there are still some changes to be made. for example, handling cases where it is multiplied by 0, or when 0 is added, or it is multiplied by 1, etc. so I think it requires a bit more of iterative debugging to catch all of the edge cases. I have formalized the design of simplification into: Flatten -> form_term -> merge_terms -> form_node -> rebuild which is much better then the previous logic that I had where I was adding more edge cases for handling each case. Right now I will be testing the full recursion for a test case to check where it goes wrong right now in the pipeline to fix it.
DEVLOG #14 Completed the full simplify_initial pipeline. Handled cases with 0 and 1 and traced a full long recursion by hand to better understand the pattern and make iterative debugging faster. Also handled negative node by simplifying the ('*', '-1', right) node formed so that any coefficients collapse cleanly and the term can form correctly with a negative coefficient. EXAMPLE:- Earlier: x - 3x -> terms = [(1.0, 'x', 1.0), (-1.0, ('*', '3', 'x'), 1.0)] Now: x - 3x -> terms = [(1.0, 'x', 1.0), (-3.0, 'x', 1.0)] Therefore, now merging terms will result in ('*', '-2', 'x') I pasted my code into claude and asked it to generate me some test cases which it believes would fail and now I am working on debugging them with a mix of hand tracing recursion and simple fixes so the pipeline is almost at its end (I hope).
DEVLOG #15 Real PROGRESS! Completed the full differentiation pipeline which is working completely now with all edge cases (that I have tested) handled. converted simplify to a standalone file as I noticed that simplify could be used as a general simplification pipeline for ALL generated nodes in my maths suite. Created pow_to_div function in simplify to turn negative exponents into division nodes to make the simplification pipeline truly generalized because none of my other algorithms expect a negative exponent. A LOT of debugging in domain.py and testing some edge cases. Adding support for multiple exclusions instead of single in normalize_domain . Earlier: (-∞, -2) ∪ (-2, 2) ∪ (2, ∞) Now: R-{-2, 2} which is a much cleaner solution Now I am working on completing range.py and then finally making the website for the full maths suite. I am a bit confused. I am not able choose between flask and FastAPI. If you have read all this then would you also mind sharing your opinion on what should I use in the comments?
DEVLOG #16 More PROGRESS! completed range.py tested edge cases with some pretty nasty ones and have decided to leave some limitations like not supporting gif/frac/sec/tan… functions because of their nature. General Debugging created all the flask endpoints along with the basic HTML layout of the website and wiring in the JS. Website is tested and all endpoints are working Now, I will focus on adding some styling to the website and also making the user experience better.
DEVLOG #17 Completed Styling (would appreciate feedback) Features: AST generator AST visualizer (downloadable SVG trees) Domain calculator Range Calculator Derivative calculator Simplification Next steps: AST back to expression generator because right now all the calculators give the result in terms of AST nodes so i need a reverse-parser which I think would be easy. Making a simpler bare bones CLI tool for simpler People. adding a guide page to the website explaining all the limitations and syntax of the calculator. hosting on my own domain? That is all that I can think for now. Right now I have not hosted the website because I am thinking of adding a few more features like user changeable SVG node and line colors, etc.
DEVLOG #18 LIVE PROJECT I have finally deployed the Version-1 of the project on vercel, check it out at the link above. I also completed the README for my repo explaining all the features and limitations of the project. Now I will be working on making an unparser to show the users a clean expressions as a result from the calculator instead of AST nodes and I will also add a guide page on the website for the syntax rules and general guide.
DEVLOG #19 Another Setback I was working on the unparse function today. Basically the idea was simply to recurse through the tree and form the expression as a string. Now, the hard part in this was to decide when to apply parenthesis. Basically, we have to apply parenthesis to any child of the function which has a lower precedence then the current parent op. I did not have this idea as well set in my mind when i was making this function and I just wasted 4 hours today trying to stack up elif cases with or conditions to try to cover every shape. Basically, I was thinking that for * / / , there are only 4 base cases: both children need parenthesis left needs parenthesis right needs parenthesis none need parenthesis I took that as a starting point and then i started to think of cases which would satisfy that and that caused me to build up this or-or-or jargon. I am really pissed. Now I will change my direction and move onto a precedence based approach which checks if the precedence of the child is lesser than the parent op, if yes then parenthesize it and if no then check if precedence is equal, if it is then check for associativity. That is the plan and I hope I don’t mess up this time.
DEVLOG #20 Completed and wired Unparser TRY NEW UPDATE I completed the unparser now with the precedence based approach and I can’t believe how much simpler it is and how bad my initial approach was. The thing that makes it work is the new needs_paren function which basically does all the precedence based logic of telling if the child needs parenthesis or not. Basically if the child’s precedence is lower than the parent op then we need a parenthesis. For example: if the child is a + node and the parent is a * node then we would need parenthesis on the child. For example: (x+1) * 3 -> x+1 needed parenthesis. The main part that made me think a bit was the case when precedence of the child and parent is equal. There are basically 3 cases here: When op is + or * , the child never needs parenthesis. When op is - or / , the child only need parenthesis if it is on the right side. For example: precedence of + == - , a + b - c -> a+b is on the left side and hence does not needs parenthesis. Whereas, c - (a+b) -> a+b on the right side needs parenthesis because this basically means c - a - b and not c - a + b . Hence, parenthesis is required. When op is ^ , parenthesis is only required when the child is on the left and not when it is on the right. For example: a^b^c does not need parenthesis (even though it could be written as a^(b^c) ) but, (a^b)^c needs parenthesis because this means a^(b*c) as the powers multiply. I have also wired in the unparser function to derivative and simplify too so now the result is an expression instead of a tuple. Now I will update my README.md and explain the working of the unparser and then I will work on adding the guide page to my website.
DEVLOG #21 Completed the CLI tool and created binaries for windows and linux using pyinstaller. Also completed the full Guide page on the website with all the relevant rules, syntax and limitations listed cleanly....
|
1793206203.400674
|
1793811003.400674
|