• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 03:40
CET 09:40
KST 17:40
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
TL.net Map Contest #21: Winners10Intel X Team Liquid Seoul event: Showmatches and Meet the Pros10[ASL20] Finals Preview: Arrival13TL.net Map Contest #21: Voting12[ASL20] Ro4 Preview: Descent11
Community News
StarCraft, SC2, HotS, WC3, Returning to Blizzcon!42$5,000+ WardiTV 2025 Championship7[BSL21] RO32 Group Stage4Weekly Cups (Oct 26-Nov 2): Liquid, Clem, Solar win; LAN in Philly2Weekly Cups (Oct 20-26): MaxPax, Clem, Creator win10
StarCraft 2
General
RotterdaM "Serral is the GOAT, and it's not close" Mech is the composition that needs teleportation t StarCraft, SC2, HotS, WC3, Returning to Blizzcon! TL.net Map Contest #21: Winners Weekly Cups (Oct 20-26): MaxPax, Clem, Creator win
Tourneys
Constellation Cup - Main Event - Stellar Fest $5,000+ WardiTV 2025 Championship Sparkling Tuna Cup - Weekly Open Tournament Merivale 8 Open - LAN - Stellar Fest Sea Duckling Open (Global, Bronze-Diamond)
Strategy
Custom Maps
Map Editor closed ?
External Content
Mutation # 498 Wheel of Misfortune|Cradle of Death Mutation # 497 Battle Haredened Mutation # 496 Endless Infection Mutation # 495 Rest In Peace
Brood War
General
BW General Discussion Where's CardinalAllin/Jukado the mapmaker? [ASL20] Ask the mapmakers — Drop your questions [BSL21] RO32 Group Stage BGH Auto Balance -> http://bghmmr.eu/
Tourneys
[ASL20] Grand Finals [BSL21] RO32 Group A - Saturday 21:00 CET [Megathread] Daily Proleagues [BSL21] RO32 Group B - Sunday 21:00 CET
Strategy
Current Meta PvZ map balance How to stay on top of macro? Soma's 9 hatch build from ASL Game 2
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread Path of Exile Should offensive tower rushing be viable in RTS games? Dawn of War IV
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread SPIRED by.ASL Mafia {211640}
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread Things Aren’t Peaceful in Palestine YouTube Thread Dating: How's your luck?
Fan Clubs
White-Ra Fan Club The herO Fan Club!
Media & Entertainment
[Manga] One Piece Anime Discussion Thread Movie Discussion! Korean Music Discussion Series you have seen recently...
Sports
2024 - 2026 Football Thread Formula 1 Discussion NBA General Discussion MLB/Baseball 2023 TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
SC2 Client Relocalization [Change SC2 Language] Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List Recent Gifted Posts
Blogs
Learning my new SC2 hotkey…
Hildegard
Coffee x Performance in Espo…
TrAiDoS
Saturation point
Uldridge
DnB/metal remix FFO Mick Go…
ImbaTosS
Reality "theory" prov…
perfectspheres
Our Last Hope in th…
KrillinFromwales
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1111 users

The Big Programming Thread - Page 845

Forum Index > General Forum
Post a Reply
Prev 1 843 844 845 846 847 1032 Next
Thread Rules
1. This is not a "do my homework for me" thread. If you have specific questions, ask, but don't post an assignment or homework problem and expect an exact solution.
2. No recruiting for your cockamamie projects (you won't replace facebook with 3 dudes you found on the internet and $20)
3. If you can't articulate why a language is bad, don't start slinging shit about it. Just remember that nothing is worse than making CSS IE6 compatible.
4. Use [code] tags to format code blocks.
Hanh
Profile Joined June 2016
146 Posts
February 15 2017 14:16 GMT
#16881
Looks the same results to me considering the clock resolution.
Acrofales
Profile Joined August 2010
Spain18111 Posts
February 15 2017 14:27 GMT
#16882
On February 15 2017 22:16 Manit0u wrote:

require 'benchmark'

arr = Array(1..10_000_000)

def test_fun_guard(ary)
return false if ary.empty?

ary.dup.reverse
end

def test_fun_standard(ary)
if ary.empty?
false
else
ary.dup.reverse
end
end

Benchmark.bmbm(10) do |bm|
bm.report('guard') do
test_fun_guard arr
end

bm.report('standard') do
test_fun_standard arr
end
end


It's astounding how seemingly identical code (same logic basically) can impact performance:


Rehearsal ----------------------------------------------
guard 0.010000 0.020000 0.030000 ( 0.020905)
standard 0.030000 0.010000 0.040000 ( 0.042935)
------------------------------------- total: 0.070000sec
user system total real
guard 0.000000 0.000000 0.000000 ( 0.018477)
standard 0.010000 0.010000 0.020000 ( 0.018885)


I should definitely test if other interpreted languages behave in this way. If so, guard clauses all the way!



I'm not quite sure how to interpret your benchmark results, but if I am supposed to look at what it computes as "real" time in the actual test, it seems like a completely negligible difference. There's a lot of statistics missing. If that ran once, it doesn't show anything. If it was run lots of times, you'd espect a mean and a std. dev... and preferrably a t-test. Finally, I don't know enough about low-level architecture, but how accurate is the computer clock? Because it's claiming microsecond accuracy, and unless you have specialized time measuring equipment in your system, I doubt the clock is accurate to that degree, which means you'd need to cut off a whole load of those trailing digits due to insignificance.
Manit0u
Profile Blog Joined August 2004
Poland17421 Posts
Last Edited: 2017-02-15 15:02:07
February 15 2017 14:50 GMT
#16883
I didn't have enough time to write a real test. It's just copying and reversing an array with 10 million numbers in it 10 times.

The difference in cpu time, system call time and real time doesn't seem like much, but the test was the most basic thing I could think of. I'll write a proper test later on.

The thing is, that supposedly with guard clauses the interpreter doesn't have to parse so much, and it should work faster.

To test it properly I'll write a bit more elaborate functions, with guards and regular, both hitting the guard and not.

Edit:
Results with fibonacci 42 and 1

user system total real
guard 29.350000 0.000000 29.350000 ( 29.356830)
guard hit 0.000000 0.000000 0.000000 ( 0.000001)
standard 29.570000 0.000000 29.570000 ( 29.583686)
standard false 0.000000 0.000000 0.000000 ( 0.000002)


0.2s is not insignificant, even though it's still simple. Any idea how I could test it better? Should I add more of the branching logic, exceptions etc? I'm genuinely interested in this peculiarity.

Also:
https://github.com/search?utf8=✓&q=remove password&type=Commits&ref=searchresults
Time is precious. Waste it wisely.
Hanh
Profile Joined June 2016
146 Posts
February 15 2017 15:14 GMT
#16884
If the test is about copy/reverse of an array, why would the guard even matter? It's only run 10 times compared to the 10 million read/writes. Anyway, the results are the same because the AST is nearly the same.
Silvanel
Profile Blog Joined March 2003
Poland4733 Posts
Last Edited: 2017-02-15 15:23:24
February 15 2017 15:19 GMT
#16885
So i was playing with arrays in C. And i just encountered something i am not sure i understand. What is happening?

my code
+ Show Spoiler +


#include <stdio.h>

const int MAX = 15;

int main () {

int var[] = {10, 100, 200, 500};
int *ptr;
int i;

ptr = var;

for (i =0; i < MAX; i++) {


printf("Value of var [%d] = %d\n", i, *ptr);

ptr++;
}
return 0;

}



output i am getting
+ Show Spoiler +


Value of var [0] = 10
Value of var [1] = 100
Value of var [2] = 200
Value of var [3] = 500
Value of var [4] = 4
Value of var [5] = 2686780
Value of var [6] = 0
Value of var [7] = 0
Value of var [8] = 2686868
Value of var [9] = 4199021
Value of var [10] = 1
Value of var [11] = 3812752
Value of var [12] = 3807472
Value of var [13] = 2686824
Value of var [14] = 1989945361


So basically i created a loop longer than array i am iterating over. Where does the values after the array ends come from? Is C assigning them at random? I suppose lesson is - be aware C is weird.
Pathetic Greta hater.
Acrofales
Profile Joined August 2010
Spain18111 Posts
February 15 2017 15:34 GMT
#16886
On February 16 2017 00:19 Silvanel wrote:
So i was playing with arrays in C. And i just encountered something i am not sure i understand. What is happening?

my code
+ Show Spoiler +


#include <stdio.h>

const int MAX = 15;

int main () {

int var[] = {10, 100, 200, 500};
int *ptr;
int i;

ptr = var;

for (i =0; i < MAX; i++) {


printf("Value of var [%d] = %d\n", i, *ptr);

ptr++;
}
return 0;

}



output i am getting
+ Show Spoiler +


Value of var [0] = 10
Value of var [1] = 100
Value of var [2] = 200
Value of var [3] = 500
Value of var [4] = 4
Value of var [5] = 2686780
Value of var [6] = 0
Value of var [7] = 0
Value of var [8] = 2686868
Value of var [9] = 4199021
Value of var [10] = 1
Value of var [11] = 3812752
Value of var [12] = 3807472
Value of var [13] = 2686824
Value of var [14] = 1989945361


So basically i created a loop longer than array i am iterating over. Where does the values after the array ends come from? Is C assigning them at random? I suppose lesson is - be aware C is weird.

Not so much that C is weird, but that C is unsafe. C won't throw pretty "array index out of bounds" exception thingies. It'll simply see whether it can turn whatever it finds at the pointer address into the correct type. For more complex types, that is usually no, but for ints, it is almost always yes... and thus it won't segfault out, but interpret what it finds as an int and continue. Then 100 lines of code further it will try to divide by 0 and segfault, or it will just give random gibberish as output.
slmw
Profile Blog Joined October 2010
Finland233 Posts
February 15 2017 15:35 GMT
#16887
You're accessing memory locations that are outside of the array. All memory locations will always have a value. You're interpreting each memory location outside of the array as a 4 byte integer, which is why you're getting 'random' values. All this should be fairly obvious if you've studied how pointers work.
Blisse
Profile Blog Joined July 2010
Canada3710 Posts
Last Edited: 2017-02-15 19:42:43
February 15 2017 19:40 GMT
#16888
On February 16 2017 00:19 Silvanel wrote:
So i was playing with arrays in C. And i just encountered something i am not sure i understand. What is happening?

my code
+ Show Spoiler +


#include <stdio.h>

const int MAX = 15;

int main () {

int var[] = {10, 100, 200, 500};
int *ptr;
int i;

ptr = var;

for (i =0; i < MAX; i++) {


printf("Value of var [%d] = %d\n", i, *ptr);

ptr++;
}
return 0;

}



output i am getting
+ Show Spoiler +


Value of var [0] = 10
Value of var [1] = 100
Value of var [2] = 200
Value of var [3] = 500
Value of var [4] = 4
Value of var [5] = 2686780
Value of var [6] = 0
Value of var [7] = 0
Value of var [8] = 2686868
Value of var [9] = 4199021
Value of var [10] = 1
Value of var [11] = 3812752
Value of var [12] = 3807472
Value of var [13] = 2686824
Value of var [14] = 1989945361


So basically i created a loop longer than array i am iterating over. Where does the values after the array ends come from? Is C assigning them at random? I suppose lesson is - be aware C is weird.


As everyone has said, in C, `arrayPointer[i]` is equivalent to `*(arrayPointer + i)`.

If you declared an array with 4 elements `int array[4];` and called `array[100]` you'd actually access the value by `*(array + 100)`.

A fun result is that you should also be able to do `100[array]`.


Also potentially helpful in understanding.

http://c-faq.com/aryptr/aryptr2.html
There is no one like you in the universe.
tofucake
Profile Blog Joined October 2009
Hyrule19151 Posts
Last Edited: 2017-02-15 20:10:10
February 15 2017 20:09 GMT
#16889
derp
Liquipediaasante sana squash banana
Blisse
Profile Blog Joined July 2010
Canada3710 Posts
Last Edited: 2017-02-15 20:46:25
February 15 2017 20:42 GMT
#16890
On February 15 2017 01:52 TheEmulator wrote:
My cousin is in grade 12 and he's thinking of majoring in CS when he goes to uni. He knows I've taken a few classes and have been doing self learning over the past year so he asked me some questions, one of which was "what's a good online course I can take to get a head start". I am thinking of recommending the intro to programming on Udacity as well as Harvard's CS50x since he wants more of an actual structured class. Any other options? Has anyone taken either of those, and would you recommend them?


The most stimulating thing I found with programming when I was younger was solving problems from coding competitions, which generally involved more extracting logical requirements from written problems and translating them into mostly straightforward code. I had much more of a math background pre-university which made those ideas comfortable. There are a lot of high school coding competitions and more importantly practice problems that may be more relevant, if he has any programming experience.

Computer Science is such a hot commodity now though so hopefully he's not starting from scratch by himself otherwise it'll likely be much more difficult getting into university for CS.
There is no one like you in the universe.
mantequilla
Profile Blog Joined June 2012
Turkey779 Posts
February 15 2017 22:03 GMT
#16891
On February 16 2017 04:40 Blisse wrote:
Show nested quote +
On February 16 2017 00:19 Silvanel wrote:
So i was playing with arrays in C. And i just encountered something i am not sure i understand. What is happening?

my code
+ Show Spoiler +


#include <stdio.h>

const int MAX = 15;

int main () {

int var[] = {10, 100, 200, 500};
int *ptr;
int i;

ptr = var;

for (i =0; i < MAX; i++) {


printf("Value of var [%d] = %d\n", i, *ptr);

ptr++;
}
return 0;

}



output i am getting
+ Show Spoiler +


Value of var [0] = 10
Value of var [1] = 100
Value of var [2] = 200
Value of var [3] = 500
Value of var [4] = 4
Value of var [5] = 2686780
Value of var [6] = 0
Value of var [7] = 0
Value of var [8] = 2686868
Value of var [9] = 4199021
Value of var [10] = 1
Value of var [11] = 3812752
Value of var [12] = 3807472
Value of var [13] = 2686824
Value of var [14] = 1989945361


So basically i created a loop longer than array i am iterating over. Where does the values after the array ends come from? Is C assigning them at random? I suppose lesson is - be aware C is weird.


As everyone has said, in C, `arrayPointer[i]` is equivalent to `*(arrayPointer + i)`.

If you declared an array with 4 elements `int array[4];` and called `array[100]` you'd actually access the value by `*(array + 100)`.

A fun result is that you should also be able to do `100[array]`.


Also potentially helpful in understanding.

http://c-faq.com/aryptr/aryptr2.html



when do you start accessing other programs' data on memory?
Age of Mythology forever!
Nesserev
Profile Blog Joined January 2011
Belgium2760 Posts
Last Edited: 2017-02-15 23:00:52
February 15 2017 22:43 GMT
#16892
--- Nuked ---
Blisse
Profile Blog Joined July 2010
Canada3710 Posts
February 15 2017 22:49 GMT
#16893
On February 16 2017 07:03 mantequilla wrote:
Show nested quote +
On February 16 2017 04:40 Blisse wrote:
On February 16 2017 00:19 Silvanel wrote:
So i was playing with arrays in C. And i just encountered something i am not sure i understand. What is happening?

my code
+ Show Spoiler +


#include <stdio.h>

const int MAX = 15;

int main () {

int var[] = {10, 100, 200, 500};
int *ptr;
int i;

ptr = var;

for (i =0; i < MAX; i++) {


printf("Value of var [%d] = %d\n", i, *ptr);

ptr++;
}
return 0;

}



output i am getting
+ Show Spoiler +


Value of var [0] = 10
Value of var [1] = 100
Value of var [2] = 200
Value of var [3] = 500
Value of var [4] = 4
Value of var [5] = 2686780
Value of var [6] = 0
Value of var [7] = 0
Value of var [8] = 2686868
Value of var [9] = 4199021
Value of var [10] = 1
Value of var [11] = 3812752
Value of var [12] = 3807472
Value of var [13] = 2686824
Value of var [14] = 1989945361


So basically i created a loop longer than array i am iterating over. Where does the values after the array ends come from? Is C assigning them at random? I suppose lesson is - be aware C is weird.


As everyone has said, in C, `arrayPointer[i]` is equivalent to `*(arrayPointer + i)`.

If you declared an array with 4 elements `int array[4];` and called `array[100]` you'd actually access the value by `*(array + 100)`.

A fun result is that you should also be able to do `100[array]`.


Also potentially helpful in understanding.

http://c-faq.com/aryptr/aryptr2.html



when do you start accessing other programs' data on memory?


What do you mean by "when"?

Generally there is an OS-level monitor in place that detects when you access memory your process doesn't have access to, and then generally there may be OS-level provisions to resolve that.
There is no one like you in the universe.
Acrofales
Profile Joined August 2010
Spain18111 Posts
February 15 2017 23:16 GMT
#16894
On February 16 2017 07:49 Blisse wrote:
Show nested quote +
On February 16 2017 07:03 mantequilla wrote:
On February 16 2017 04:40 Blisse wrote:
On February 16 2017 00:19 Silvanel wrote:
So i was playing with arrays in C. And i just encountered something i am not sure i understand. What is happening?

my code
+ Show Spoiler +


#include <stdio.h>

const int MAX = 15;

int main () {

int var[] = {10, 100, 200, 500};
int *ptr;
int i;

ptr = var;

for (i =0; i < MAX; i++) {


printf("Value of var [%d] = %d\n", i, *ptr);

ptr++;
}
return 0;

}



output i am getting
+ Show Spoiler +


Value of var [0] = 10
Value of var [1] = 100
Value of var [2] = 200
Value of var [3] = 500
Value of var [4] = 4
Value of var [5] = 2686780
Value of var [6] = 0
Value of var [7] = 0
Value of var [8] = 2686868
Value of var [9] = 4199021
Value of var [10] = 1
Value of var [11] = 3812752
Value of var [12] = 3807472
Value of var [13] = 2686824
Value of var [14] = 1989945361


So basically i created a loop longer than array i am iterating over. Where does the values after the array ends come from? Is C assigning them at random? I suppose lesson is - be aware C is weird.


As everyone has said, in C, `arrayPointer[i]` is equivalent to `*(arrayPointer + i)`.

If you declared an array with 4 elements `int array[4];` and called `array[100]` you'd actually access the value by `*(array + 100)`.

A fun result is that you should also be able to do `100[array]`.


Also potentially helpful in understanding.

http://c-faq.com/aryptr/aryptr2.html



when do you start accessing other programs' data on memory?


What do you mean by "when"?

Generally there is an OS-level monitor in place that detects when you access memory your process doesn't have access to, and then generally there may be OS-level provisions to resolve that.

But way back when in DOS days the OS didn't have the safeguards they do today, you could do whatever you wanted with memory... and that's why my father forbade me from ever using peeks and pokes in my BASIC programs.
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
Last Edited: 2017-02-16 23:46:54
February 16 2017 23:27 GMT
#16895
let's help travis understand reflexive, symmetric, and transitive relations!

So let's say our domain is.. reals

reflexive means that if we pick a relation ( <, R x R), we are looking for it to be true for every n that (n, n) fits the relationship
so we are looking for an "n" in the reals where n is less than n.
so this is not reflexive because this is not always (never, in this case) true
but if we pick ( =, R x R), then we are looking for n = n, which is the case so this is reflexive ?



symmetric means that for every (n1, n2) in the relationship, then (n2, n1) also exists in the relationship?

so in the reals , a relationship of ( <, RxR) would be false, since 1 < 2 but 2 !< 1
however, a relationship of ( (n1 * n2 < 10) , RxR ) would be true, since 1 * 2 < 10, and 2 * 1 < 10 (and it holds true for every n1, n2)


transitive means that given an n1, n2, n3 in our relation: (n1, n2) and (n2, n3) in the relation means (n1, n3) is in the relation

so an example that holds false would be uh... say... (( n1 * n2 = 0), RxR), (( n2 * n3 = 0), RxR)
because 1 * 0 = 0 , 0 * 5 = 0 , but 1 * 5 = 5

but an example that holds true would be that (n1 < n2, RxR), (n2 < n3, RxR). because if 1 < 2, and 2 < 3, then 1 is less than 3


is my understanding with these all correct?
this stuff is getting kinda of tough tbh
my class is covering SO MUCH material


another question

is 0 congruent to 0 (mod n) where n is any integer ?
no, right?
the remainder is n?
edit: looks like wolfram alpha is saying that it IS congruent. I don't understand why the remainder is 0 but okay


a weird question:

is it false to say that 10 is congruent to 5 (mod 5) ?
Hanh
Profile Joined June 2016
146 Posts
Last Edited: 2017-02-17 01:04:06
February 17 2017 01:03 GMT
#16896
1. That's correct. A relation that has these properties is particularly interesting because it forms equivalent classes and is the basis for building new sets.

2. Congruence modulo N is an example of such relation. By definition, a is congruent to b if and only if there is a p in Z such as a = b + pN. You can prove it is reflexive, symetric and transitive.

- reflexive: a = a + 0xN
- symetric: a = b + pN <=> b = a - pN
- transitive: a = b + pN and b = c + qN => a = c + (p+q)N

Trivially, from the reflexive property.
0 = 0 (n)

and 10 = 5 (5) because 10 = 5 + 1x5

If it helps, remember than we use congruence mod 12 all the 'time' (pun intended).
5 am and 5 pm are congruent mod 12.

Another way to see congruence is:

a = b (n) if and only if a-b is a multiple of n (zero and negative multiples are allowed)
so 10-5 = 5 which is a multiple of 5 obviously.

From a more high level point of view, your class covers a lot of material quickly because many of the properties of continuous sets do not apply and it has to introduce what is available. After that, you will hardly ever deal with relations anymore. It will be implied by the context. Yet, it is important to know what you can and cannot do.
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
Last Edited: 2017-02-17 01:32:50
February 17 2017 01:31 GMT
#16897
Hanh, I need help understanding these scenarios. I believe I already have the answers via proofs, but I don't understand the proofs. I've been trying to understand it but I don't.

http://aleph.math.louisville.edu/teaching/2011SP-311/notes-110209.pdf

The 3 propositions

I understand proposition 1,

but #2 and 3 makes no sense to me

like, the actual proof makes sense, but in practice, let's take

a = 100, b = 2, n = 7
100 is congruent 2 (mod 7)

this is true. and based on their proof, 7 does divide (100-2)

but

2 is congruent 100 (mod 7)

this is not true. based on their proof, 7 does divide (2-100), but I don't understand how I am using modular arithmetic incorrectly then

is it that I am actually applying it incorrectly and that the correct way to apply it is not to divide a by n and look for remainder b, but rather to always subtract b from a and then see if the result is divisible by n?


edit: (it looks like you provided the same proofs above)
Hanh
Profile Joined June 2016
146 Posts
February 17 2017 02:13 GMT
#16898
Don't divide by n if you want to test for congruence, stick to definition instead. The remainder of the integer division is for finding the smallest positive congruent number.
Blisse
Profile Blog Joined July 2010
Canada3710 Posts
Last Edited: 2017-02-17 03:16:37
February 17 2017 03:11 GMT
#16899
On February 17 2017 10:31 travis wrote:
Hanh, I need help understanding these scenarios. I believe I already have the answers via proofs, but I don't understand the proofs. I've been trying to understand it but I don't.

http://aleph.math.louisville.edu/teaching/2011SP-311/notes-110209.pdf

The 3 propositions

I understand proposition 1,

but #2 and 3 makes no sense to me

like, the actual proof makes sense, but in practice, let's take

a = 100, b = 2, n = 7
100 is congruent 2 (mod 7)

this is true. and based on their proof, 7 does divide (100-2)

but

2 is congruent 100 (mod 7)

this is not true. based on their proof, 7 does divide (2-100), but I don't understand how I am using modular arithmetic incorrectly then

is it that I am actually applying it incorrectly and that the correct way to apply it is not to divide a by n and look for remainder b, but rather to always subtract b from a and then see if the result is divisible by n?


edit: (it looks like you provided the same proofs above)


2 is congruent to 100 mod 7 iff 7 | 2 - 100
7 | 2 - 100
7 | -98
7 | -98 iff exists n such that 7*n = -98
n=-14, thus 7 | -98
therefore 2 is congruent to 100 mod 7


conceptually it helps the first time to think about congruency as x dividing n with remainder r, but think of how it'd work for different numbers

is -12 congruent to 100 mod 7?
via your original non-definition method you'd go
-12 / 7 = 1 remainder -5
100 / 7 = 14 remainder 2
-5 is not equal to 2, but -5 + 7 is 2, so that looks good

what's with the random steps
why do we compare to 2 here, instead of say, 16, because -12 is also congruent to 16 mod 7. is there something special about remainder 2? why do we care that it's the smallest positive congruent integer?

versus formally and to the point,

-12 congruent to 100 mod 7 iff 7 | -12 - 100
7 | -12 - 100
7 | -112
7 | -112 iff exists n such that 7*n = -112
n=-16, thus 7 | -112
therefore -12 is congruent to 100 mod 7


the classes move quickly because these definitions aren't the meat of the class, but they're foundational to working with the theorems later on. they should also be relatively straightforward, just following formulas and definitions. the later theorems are much more about developing intuition on how people arrived at the theorem.
There is no one like you in the universe.
tofucake
Profile Blog Joined October 2009
Hyrule19151 Posts
February 17 2017 03:14 GMT
#16900
your math is wrong, travis

a = 100, b = 2, n = 7

a - b is 100 - 2 = 98, which is 7*14

The way you did it also works but isn't congruent because of a negative result
Liquipediaasante sana squash banana
Prev 1 843 844 845 846 847 1032 Next
Please log in or register to reply.
Live Events Refresh
Next event in 1h 20m
[ Submit Event ]
Live Streams
Refresh
StarCraft: Brood War
Zeus 548
actioN 257
Larva 209
Sharp 92
PianO 31
NotJumperer 24
NaDa 14
Dota 2
Gorgc3222
NeuroSwarm88
League of Legends
JimRising 1144
Counter-Strike
fl0m2249
Stewie2K646
Heroes of the Storm
Khaldor122
Other Games
summit1g13576
Happy237
goatrope45
XaKoH 19
Organizations
Counter-Strike
PGL86
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 15 non-featured ]
StarCraft 2
• Berry_CruncH162
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• LUISG 0
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• lizZardDota224
League of Legends
• Lourlo3853
• Jankos2899
Upcoming Events
Sparkling Tuna Cup
1h 20m
WardiTV Korean Royale
3h 20m
LAN Event
6h 20m
ByuN vs Zoun
TBD vs TriGGeR
Clem vs TBD
IPSL
9h 20m
JDConan vs WIZARD
WolFix vs Cross
BSL 21
11h 20m
spx vs rasowy
HBO vs KameZerg
Cross vs Razz
dxtr13 vs ZZZero
Replay Cast
1d
Wardi Open
1d 3h
WardiTV Korean Royale
2 days
Replay Cast
3 days
Kung Fu Cup
3 days
Classic vs Solar
herO vs Cure
Reynor vs GuMiho
ByuN vs ShoWTimE
[ Show More ]
Tenacious Turtle Tussle
3 days
The PondCast
4 days
RSL Revival
4 days
Solar vs Zoun
MaxPax vs Bunny
Kung Fu Cup
4 days
WardiTV Korean Royale
4 days
RSL Revival
5 days
Classic vs Creator
Cure vs TriGGeR
Kung Fu Cup
5 days
CranKy Ducklings
6 days
RSL Revival
6 days
herO vs Gerald
ByuN vs SHIN
Kung Fu Cup
6 days
BSL 21
6 days
Tarson vs Julia
Doodle vs OldBoy
eOnzErG vs WolFix
StRyKeR vs Aeternum
Liquipedia Results

Completed

BSL 21 Points
SC4ALL: StarCraft II
Eternal Conflict S1

Ongoing

C-Race Season 1
IPSL Winter 2025-26
KCM Race Survival 2025 Season 4
SOOP Univ League 2025
YSL S2
BSL Season 21
Stellar Fest: Constellation Cup
IEM Chengdu 2025
PGL Masters Bucharest 2025
Thunderpick World Champ.
CS Asia Championships 2025
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual

Upcoming

SLON Tour Season 2
BSL 21 Non-Korean Championship
Acropolis #4
IPSL Spring 2026
HSC XXVIII
RSL Offline Finals
WardiTV 2025
RSL Revival: Season 3
META Madness #9
BLAST Bounty Winter 2026: Closed Qualifier
eXTREMESLAND 2025
ESL Impact League Season 8
SL Budapest Major 2025
BLAST Rivals Fall 2025
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2025 TLnet. All Rights Reserved.