Mrthfx

What is the origin of 落第?

Understanding p-Values using an example

Mechanism of oxidative dearomatisation with hypervalent iodine

Random body shuffle every night—can we still function?

What is the chair depicted in Cesare Maccari's 1889 painting "Cicerone denuncia Catilina"?

The Nth Gryphon Number

Does the Black Tentacles spell do damage twice at the start of turn to an already restrained creature?

Why are vacuum tubes still used in amateur radios?

Positioning dot before text in math mode

What does Turing mean by this statement?

How could we fake a moon landing now?

Why do early math courses focus on the cross sections of a cone and not on other 3D objects?

why did the subset and factor influenced coefficients of logistic regression in R

Is multiple magic items in one inherently imbalanced?

Project Euler #1 in C++

How often does castling occur in grandmaster games?

How were pictures turned from film to a big picture in a picture frame before digital scanning?

How to ternary Plot3D a function

Nose gear failure in single prop aircraft: belly landing or nose-gear up landing?

Is there public access to the Meteor Crater in Arizona?

Google .dev domain strangely redirects to https

Strange behavior of Object.defineProperty() in JavaScript

How to force a browser when connecting to a specific domain to be https only using only the client machine?

How much damage would a cupful of neutron star matter do to the Earth?

How to format the algorithm

0

1

I have the text for the algorithm, I am unable to format it, with the numbers and spacing as in the image:

$COVERABILITY-GRAPH((S,T,F,M_0))$\

$(V,E,v_0):=({M_0},emptyset,M_0);$\

Work:set:=${M_0}$\

textbf{while} Work $neq emptyset$\

textbf{do} select $M$ from Work;\

Work:=Work$setminus{M};$\

textbf{for} $tin$enabled(M)\

textbf{do} $M':=$fire($M,t);$\

$M':=$AddOmegas($M,t,M',V,E$);

textbf{if} $M'not in V$\

textbf{then} $V:=Vcup {M'}$\

Work:=Work$cup{M'};$\

$E:=Ecup{(M,t,M')}$\

textbf{return}$(V,E,v_0)$

and also

$ADDOMEGAS(M,t,M',V,E)$\

textbf{for}$M''in V$\

textbf{do if} $M''<M'$ and $M''xrightarrow{*}_{E} M$\

textbf{then} $M':=M'+((M'-M'').omega);$\

textbf{return} $M';$

formatting

share|improve this question

asked 15 mins ago

GermanShepherdGermanShepherd

611320

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  You have several algorithm packages to do it. No need for e.g. textbf{for}.
  
  – JouleV
  14 mins ago
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Thanks. I dont see how algorithmic supports numbering
  
  – GermanShepherd
  9 mins ago
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I am not experienced with any of the packages at all, so I can't be sure of anything. However, I think at least one of them must support numbering.
  
  – JouleV
  7 mins ago
  

  
  
  
  

add a comment | 

0

1

I have the text for the algorithm, I am unable to format it, with the numbers and spacing as in the image:

$COVERABILITY-GRAPH((S,T,F,M_0))$\

$(V,E,v_0):=({M_0},emptyset,M_0);$\

Work:set:=${M_0}$\

textbf{while} Work $neq emptyset$\

textbf{do} select $M$ from Work;\

Work:=Work$setminus{M};$\

textbf{for} $tin$enabled(M)\

textbf{do} $M':=$fire($M,t);$\

$M':=$AddOmegas($M,t,M',V,E$);

textbf{if} $M'not in V$\

textbf{then} $V:=Vcup {M'}$\

Work:=Work$cup{M'};$\

$E:=Ecup{(M,t,M')}$\

textbf{return}$(V,E,v_0)$

and also

$ADDOMEGAS(M,t,M',V,E)$\

textbf{for}$M''in V$\

textbf{do if} $M''<M'$ and $M''xrightarrow{*}_{E} M$\

textbf{then} $M':=M'+((M'-M'').omega);$\

textbf{return} $M';$

formatting

share|improve this question

asked 15 mins ago

GermanShepherdGermanShepherd

611320

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  You have several algorithm packages to do it. No need for e.g. textbf{for}.
  
  – JouleV
  14 mins ago
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Thanks. I dont see how algorithmic supports numbering
  
  – GermanShepherd
  9 mins ago
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I am not experienced with any of the packages at all, so I can't be sure of anything. However, I think at least one of them must support numbering.
  
  – JouleV
  7 mins ago
  

  
  
  
  

add a comment | 

I have the text for the algorithm, I am unable to format it, with the numbers and spacing as in the image:

$COVERABILITY-GRAPH((S,T,F,M_0))$\

$(V,E,v_0):=({M_0},emptyset,M_0);$\

Work:set:=${M_0}$\

textbf{while} Work $neq emptyset$\

textbf{do} select $M$ from Work;\

Work:=Work$setminus{M};$\

textbf{for} $tin$enabled(M)\

textbf{do} $M':=$fire($M,t);$\

$M':=$AddOmegas($M,t,M',V,E$);

textbf{if} $M'not in V$\

textbf{then} $V:=Vcup {M'}$\

Work:=Work$cup{M'};$\

$E:=Ecup{(M,t,M')}$\

textbf{return}$(V,E,v_0)$

and also

$ADDOMEGAS(M,t,M',V,E)$\

textbf{for}$M''in V$\

textbf{do if} $M''<M'$ and $M''xrightarrow{*}_{E} M$\

textbf{then} $M':=M'+((M'-M'').omega);$\

textbf{return} $M';$

formatting

share|improve this question

asked 15 mins ago

GermanShepherdGermanShepherd

611320

$COVERABILITY-GRAPH((S,T,F,M_0))$\

$(V,E,v_0):=({M_0},emptyset,M_0);$\

Work:set:=${M_0}$\

textbf{while} Work $neq emptyset$\

textbf{do} select $M$ from Work;\

Work:=Work$setminus{M};$\

textbf{for} $tin$enabled(M)\

textbf{do} $M':=$fire($M,t);$\

$M':=$AddOmegas($M,t,M',V,E$);

textbf{if} $M'not in V$\

textbf{then} $V:=Vcup {M'}$\

Work:=Work$cup{M'};$\

$E:=Ecup{(M,t,M')}$\

textbf{return}$(V,E,v_0)$

$ADDOMEGAS(M,t,M',V,E)$\

textbf{for}$M''in V$\

textbf{do if} $M''<M'$ and $M''xrightarrow{*}_{E} M$\

textbf{then} $M':=M'+((M'-M'').omega);$\

textbf{return} $M';$

share|improve this question

asked 15 mins ago

GermanShepherdGermanShepherd

611320

share|improve this question

asked 15 mins ago

GermanShepherdGermanShepherd

611320

asked 15 mins ago

GermanShepherdGermanShepherd

611320

asked 15 mins ago

GermanShepherdGermanShepherd

611320