--* From postmaster%watson.vnet.ibm.com@yktvmh.watson.ibm.com  Mon May  2 18:12:44 1994
--* Received: from yktvmh.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA27976; Mon, 2 May 1994 18:12:44 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9966; Mon, 02 May 94 18:12:37 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.LEHOBEY.NOTE.VAGENT2.8192.May.02.18:12:37.-0400>
--*           for asbugs@watson; Mon, 02 May 94 18:12:37 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8190; Mon, 2 May 1994 18:12:36 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Mon, 02 May 94 18:12:36 EDT
--* Received: from radical.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA29689; Mon, 2 May 1994 18:08:41 -0400
--* Received: by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA11433; Mon, 2 May 1994 18:08:07 -0400
--* Date: Mon, 2 May 1994 18:08:07 -0400
--* From: lehobey@radical.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9405022208.AA11433@radical.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [7] Bug: gen0Syme: syme unallocated by gen0Vars [matops.as][35.0]

--@ Fixed  by:  SSD   Mon Mar 20 09:05:47 EST 1995 
--@ Tested by:  none 
--@ Summary:    Updates and fixes to gen0Vars have removed this bug in r1-1-0. 


--
-- matops.as
--
#include "axiom.as"

MatrixOpSym(R:Field): with

	if characteristic()$R ~= 2 then
		symmetricPart : Matrix R -> Matrix R
			++ symmetricPart(m) returns the symmetric part
			++ of \axiom{m} as \axiom{(m + transpose(m))/2}.

== add

	if characteristic()$R ~= 2 then
		symmetricPart(m: Matrix R): Matrix R ==
			m1 := transpose m
			import from R
			inv(2::R) *(m+m1)