Computing desk
< February 19	<< Jan \| February \| Mar >>	February 21 >

Welcome to the Wikipedia Computing Reference Desk Archives
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.

February 20

/\ in proof of Ardens Theorem means?

Could anyone tell what does the symbol '/\' mean in the proof of Arden's Theorm given here(P.18).

NB:'/\' doesn't mean the regular expression written as '^'.Here '/\' is an element of R as given in this book(P.127).

JUSTIN JOHNS (talk) 09:25, 20 February 2016 (UTC)[reply]

It stands for the empty word, more often written as ε. --Stephan Schulz (talk) 13:08, 20 February 2016 (UTC)[reply]

Yeah thanks for that.JUSTIN JOHNS (talk) 06:32, 22 February 2016 (UTC)[reply]

Windows 10 on a slower PC

I have one computer running Win7 on an AMD dual-core 64-bit processor rated at 1.6 GHz, 4 GB of RAM. It's used only for email and basic browsing, and its speed is on the slow side of borderline. Generally speaking, would you expect Win10 to be a little faster, roughly the same, or a little slower? If the latter, I'll leave it on 7 for the remainder of its life.
The computer clearly meets the minimum system requirements for running 10, but "run" is not the same as "run well", and I'm looking for "run well". It also meets the requirements for Win7, but as I said I'm not entirely happy with the performance. I don't want to make it worse. ―Mandruss ☎ 15:43, 20 February 2016 (UTC)[reply]

My experience with several old PCs (Intel 3.X Mhz dual-core, 8-16GB RAM, 64-bit Win7 vs. 64-bit Win10) is that Win10 was just a bit faster, but they were close. This review found the same thing. I also found that, on both Win7 and Win10, going from 4GB to to 8GB made a big difference, but going to 16GB didn't do much. Also, replacing the rotating disk with a SSD made a big difference.

You can get Dell Optiplex 780, Dual core@3.33GHz, 8GB RAM, 500GB HDD, Win7 Pro 64-Bit for well under $200.[1] You have until 29 July 2016 to load and install the free Win7 to Win10 upgrade. --Guy Macon (talk) 18:04, 20 February 2016 (UTC)[reply]

If you want to make the PC faster, it is probably more efficient to clean it up a bit (and maybe even buy some RAM, old RAM is very cheap if you go to a second-hand store). Autoruns and Defraggler may be useful. The Quixotic Potato (talk) 01:28, 21 February 2016 (UTC)[reply]