|
The math I learned in school didn't really cover what I usually work with: uint and int. Most math tools are all about the Real numbers or maybe Complex numbers, so they will happily tell me that x * 2 / 2 = x. I vaguely heard about SMT solvers but they seemed hard to use.
So I made my own thing, the first versions in 2013, but I think it's useful enough now that other people may occasionally find it useful: haroldbot.nl. Completely free of course, including ad free, I wouldn't spam the lounge with my commercial products. It also works offline if you save a complete copy of the page.
There are some fun features in addition to equality checking, such as some limited simplification (for example x * 2 / 2 can be simplified to what it really is, and it isn't x), and detecting invertibility, sometimes it even finds the inverse so for example you can put in x * 5 to find out how to "un-multiply" by 5.
By the way I wrote that entire thing in JavaScript and I still don't actually know JavaScript. It's a weird language.
|
|
|
|
|
harold aptroot wrote: and I still don't actually know JavaScript
I am not sure anybody "knows" JavaScript. But every single one of them have written JavaScript apps. That's the magic.
|
|
|
|
|
That's very cool. I tried a few things, like x * 4 / 2 and I really like how you show the simplified version and the proof. Nice work!
Latest Article - A Concise Overview of Threads
Learning to code with python is like learning to swim with those little arm floaties. It gives you undeserved confidence and will eventually drown you. - DangerBunny
Artificial intelligence is the only remedy for natural stupidity. - CDP1802
|
|
|
|
|
What you talk about here is the usage of Abstract algebra. Fields, Integral domains, Euclid's factorization method (the same as continued fraction algorithm) etc. Gauss doctoral thesis was about this subject (Disquisitiones Arithmeticae).
|
|
|
|
|
That all sounds pretty scary. By the way I use Hensel's lemma to find multiplicative inverses.
|
|
|
|
|
Believe it or not but Algebra was actually created to make things easier for you 
I didn't know about Hensel's lemma, but It kinda reminds me of Rouché's theorem - Wikipedia[^] which I find very cool.
|
|
|
|
|
Post it in Free Tools Discussion Boards[^]
This way your post won't be relegated to the limbo after a few hours.
By the way, thanks. It looks pretty cool.
M.D.V. 
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
Is the worst thing about Ancient History classes that the teacher tends to Babylon?
Sent from my Amstrad PC 1640
Bad command or file name. Bad, bad command! Sit! Stay! Staaaay...
AntiTwitter: @DalekDave is now a follower!
|
|
|
|
|
Math classes are much worse. They never let you eat pi.
... such stuff as dreams are made on
|
|
|
|
|
sure history has it's downsides, but on the plus side: all those dates, keeps you regular!
This internet thing is amazing! Letting people use it: worst idea ever!
|
|
|
|
|
The professor I had was a real Cretin
Everyone has a photographic memory; some just don't have film. Steven Wright
|
|
|
|
|
The professor Ptolemy that Ur wrong and it's Ninevah business.
|
|
|
|
|
Yes - he was Roman all over the place. Troy as he might he always made a real Mesopotamia of it. Egypt me out of a decent education and in the end it was all Greek to me.
Socialism is the Axe Body Spray of political ideologies: It never does what it claims to do, but people too young to know better keep buying it anyway. (Glenn Reynolds)
|
|
|
|
|
True, but it Sparta general education.
... such stuff as dreams are made on
|
|
|
|
|
"general education"
Well I took an accelerated course that was every day of the week. Every single day I would sit at the back and pyramid the desks at the board and wonder what I was doing there.
That's right - every week - seven wonders.
|
|
|
|
|
That may have been your experience, but it's not Mayan.
|
|
|
|
|
Aeneid time you realized your really Persian your luck with these?
At least that's his story.
| Ravings en masse^ |
|---|
| "The difference between genius and stupidity is that genius has its limits." - Albert Einstein | | "If you are searching for perfection in others, then you seek disappointment. If you are seek perfection in yourself, then you will find failure." - Balboos HaGadol Mar 2010 |
|
|
|
|
|
|
|
Ohhh, pretty.
#SupportHeForShe
Government can give you nothing but what it takes from somebody else. A government big enough to give you everything you want is big enough to take everything you've got, including your freedom.-Ezra Taft Benson
You must accept 1 of 2 basic premises: Either we are alone in the universe or we are not alone. Either way, the implications are staggering!-Wernher von Braun
|
|
|
|
|
Hi,
I am rewiring part of my home with 10 Gigabit Ethernet and purchased a spool of CAT7 cable which is 22AWG diameter. I am having problems finding RJ45 connectors that can use 22AWG cable. I've made two ebay purchases of RJ45 connectors. Apparently these sellers are not always telling the truth and none of them are able to use 22 AWG wire.
Anyone have suggestions? I can make a standard CAT5 cable in under 2 minutes with the crimp tool but this 22AWG CAT7 cable is driving me nuts.
Best Wishes,
-David Delaune
|
|
|
|
|
|
|
KennethKennedy wrote: why anybody would need more than 1 Gbps at home though is beyond me. 
bitcoin mining? auto stock trading?
gotta de-squeak out every mili-second of latency.
This internet thing is amazing! Letting people use it: worst idea ever!
|
|
|
|
|
I think it has to do with frequencies : if you get TV via your Ethernet network and satellite, some of the channels are not available with Cat5 or even some Cat6 (more explanation on Câble Ethernet : Grade 3 ou Catégorie 6 ? - Réseau VDIRéseau VDI[^], in French) because the cable will act as a low-pass filter and filter our your channels.
For data, I am with you, 1Gbps is much already ; however 4K TV @60fps is 3840x2160/60p ~12 Gbit/s, so...
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
