Dear William, Thank your for the reply. I hadn't used PARI for this before, but when I tried this right now I am getting very similar results.
About the strange CPU info, I actually cannot quite see where the discrepancy is coming from. As perhaps you guessed from the format, in each case I had copied that information straight from the output of "cat /proc/cpuinfo" without checking it. At least for the laptop I could check with the graphical information in Ubuntu, which confirms your statement. I am not quite sure about the departmental machine. Kind regards, Sebastian --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
