#
# file:    TrivialModule.gap
#
# purpose: Defines a structure of the trivial module over an algebra 
#
# created: Pasha Zusmanovich <pasha.zusmanovich@gmail.com> Sep 25 2014
#
# latest revision history:
# Jul 30 2019  changed file name
# Feb 11 2021  comments
#

# for an algebra A and vector space V, defines on V a structure of the trivial 
# A-module
# ('TrivialModule' is already defined in GAP for some other purpose)
trivial_mod := function (L, V)
	local _trivial;
	_trivial := function (elem, vector)
		return (Zero (V));
	end;
	return (LeftAlgebraModule (L, _trivial, V));
end; 

# eof