https://groups.google.com/d/forum/sage-algebrasage-algebraFor algebraists involved or interested in Sage development: a forum for discussions regarding mathematical research and design questions in Sage related to abstract algebra -- from categories to monoids, groups, modules, algebras. etc. -- of general interest (beyond sage-combinat or sage-nt).
<br>
<br>Google Groupsjuaninf2018-02-26T01:04:27Zhttps://groups.google.com/d/topic/sage-algebra/4ttOGBACr3ERe: [sage-algebra] Improving the next codeThanks, David, I think that the problem is with the operation "+" I have using Profiler and when the matrix has dimensios, 12 x 19 these are the times 9.932s -- line 15: v = (particular_soln + homogeneous_soln) 0.004s -- line 17: print len(v.nonzero_positions()) Maybe there is some way to sumDavid Joyner2018-02-25T22:23:37Zhttps://groups.google.com/d/topic/sage-algebra/4ttOGBACr3ERe: [sage-algebra] Improving the next codea > large undetermined binary linear system and then I need to calculate its > hamming weight. > > A = random_matrix(GF(2), 10, 12, density=0.55) > b = random_vector(GF(2), 10) > particular_soln = A.solve_right(b, check=False) > A_right_kernel = A.right_kernel() > for homogeneous_soln injuaninf2018-02-25T21:11:53Zhttps://groups.google.com/d/topic/sage-algebra/4ttOGBACr3EImproving the next codeHow can I improve the time for the next code?. Basically, I want to solve a large undetermined binary linear system and then I need to calculate its hamming weight. A = random_matrix(GF(2), 10, 12, density=0.55) b = random_vector(GF(2), 10) particular_soln = A.solve_right(b, check=False)Samuel LeliÃ¨vre2018-01-04T13:39:57Zhttps://groups.google.com/d/topic/sage-algebra/soENoHrPWoERe: pari groupsSorry to reply almost three months later. I opened #24469 for that: https://trac.sagemath.org/ticket/24469 Sun 2017-10-15 11:25:07 UTC-5, John Cremona: > Extracting information about a Galois group is more painful than it > should be. After > > sage: K.<z> = CyclotomicField(5) > sage:John Cremona2017-10-15T16:25:07Zhttps://groups.google.com/d/topic/sage-algebra/soENoHrPWoEpari groupsExtracting information about a Galois group is more painful than it should be. After sage: K.<z> = CyclotomicField(5) sage: G = K.galois_group(type='pari') sage: G Galois group PARI group [4, -1, 1, "C(4) = 4"] of degree 4 of the Cyclotomic Field of order 5 and degree 4 we have sage:John H Palmieri2015-09-10T22:16:10Zhttps://groups.google.com/d/topic/sage-algebra/cAFdRb-WKqMprogress on simplicial complexes (or "What I did on my summer vacation")I have been working on improving Sage's capabilities with simplicial complexes. With the changes at #19179, #6101, and #6102 (all ready for review), we now have - chain homotopies - cup products (with field coefficients) - cohomology as a FiniteDimensionalAlgebra (with field coefficients) -Andrew2015-07-02T06:38:08Zhttps://groups.google.com/d/topic/sage-algebra/9ypxl8H0P2wRe: CombinatorialFreeModulesThis is a slightly old post, but you might be interested in the PartitionTuple class that allows arbitrary coloured partitions. sage: PartitionTuples(3,3)[:] [([3], [], []), ([2, 1], [], []), ([1, 1, 1], [], []), ([2], [1], []), ([1, 1], [1], []), ([2], [], [1]), ([1, 1], [], [1]), ([1],Travis Scrimshaw2015-05-07T16:24:47Zhttps://groups.google.com/d/topic/sage-algebra/fpANShxjSOgRe: Catalog of algebras: the definition of an algebraThe current heirarchy is to start Magmatic algebras (no assumptions), then you add the axioms "associative" and "unital", giving you the categories (with the current naming scheme): MagmaticAlgebras / \ UnitalAlgebras AssociativeAlgebras \David Kohel2015-05-07T09:01:45Zhttps://groups.google.com/d/topic/sage-algebra/fpANShxjSOgRe: Catalog of algebras: the definition of an algebraHi All, I think it would be a good idea to have a subcategory of associative algebras (and inheritance of classes from an associative class). Morphisms need to know to check associativity. On the other hand, I was convinced years ago (by an argument of Bergman at Berkeley) that algebrastsc...@ucdavis.edu2015-05-06T20:36:45Zhttps://groups.google.com/d/topic/sage-algebra/fpANShxjSOgFwd: Catalog of algebras: the definition of an algebraEslam Badr2015-03-30T10:57:30Zhttps://groups.google.com/d/topic/sage-algebra/8m2XWvR07qgHelpDear Sage, I am not an expert in using the program and I will be grateful if you help me in the following; (1)Define the quotient ring R=F_q[u]/(u^2+2) (2)List the elements of this ring (3)Define the polynomial ring R[T] (4)Compute the group of units U(R) of this ring and its cardinalityJohn Cremona2015-03-12T09:43:08Zhttps://groups.google.com/d/topic/sage-algebra/CrvpIOVXidURe: [sage-algebra] sage package debugSurely this is a question for polybori developers? John On 12 March 2015 at 02:05, Ferris Zorro <zorr...@gmail.com> wrote: > When I use polybori, a package of Sage , I got a error. So I want to change the code of polybori. Could you tell me how to construct the Integrated DevelopmentFerris Zorro2015-03-12T08:31:57Zhttps://groups.google.com/d/topic/sage-algebra/CrvpIOVXidUsage package debugWhen I use polybori, a package of Sage , I got a error. So I want to change the code of polybori. Could you tell me how to construct the Integrated Development Environment (IDE) of python and C++ for polybori debug ?John H Palmieri2014-04-14T05:20:44Zhttps://groups.google.com/d/topic/sage-algebra/9ypxl8H0P2wRe: [sage-algebra] Re: CombinatorialFreeModulesHi Travis, I appreciate your trying to accept some of the blame. I'm not really convinced that much of it is really your fault, and I wasn't asking for anyone to step forward. (Not that it really matters, but ere you even involved in Sage development 4 years ago?) Instead, I have two points:tsc...@ucdavis.edu2014-04-14T04:52:51Zhttps://groups.google.com/d/topic/sage-algebra/9ypxl8H0P2wRe: [sage-algebra] Re: CombinatorialFreeModulesPS - For defining things on basis elements and extending linearly, you should look into defining the operations via the method `module_morphim()`.