/* ======================================================================
DESC: 		Checks for membership in SL

PLATFORMS: 

USAGE NOTES:  isSL() removes spaces and adds parens if needed, then returns SL().

	The functions here require simp.js and mainC.js to work!!!
====================================================================== */

/* ======================================================================
FUNCTIONS: 	isSL , SL

INPUT:		text string
				
RETURNS:		boolean

DESC:							
====================================================================== */
biC = 'v&>=';
function isSL(text)  {
	text = deSpace(text);
	if (!out(text) && biC.indexOf(mainConn(text))>-1)  {
		text = '(' + text + ')';
		}
	return SL(text);
}
function SL(text)  {
	if ( text.length == 1 && atomic.indexOf(text) > -1 )
		{return true; }
	else if ( mainConn(dropParen(text)) == '~' && text.charAt(0) == '~')  {
		gamma = text.substring(1);
		return SL(gamma);
		}
	else if ( biC.indexOf(mainConn(dropParen(text))) > -1 && out(text) )  {
	beta = text.substring(p+2,text.length - 1);
	if ( !SL(beta) )  {
		return false;}
	else { mainConn(dropParen(text));
	alpha = text.substring(1,p+1); 
	if ( !SL(alpha) ) {
		return false;}
	else {return true}
}}
else { return false }
}